Skip to content

Update GitHub Action workflow for CI#2970

Merged
theseanything merged 1 commit intomainfrom bulk/add-github-actions-ciJan 3, 2023

Commits

Commits on Jan 3, 2023