Skip to content

Migrate CI to GitHub Actions#421

Merged
zquestz merged 1 commit intozquestz:masterfrom
petergoldstein:feature/migrate_ci_to_github_actions
Mar 9, 2022
Merged

Migrate CI to GitHub Actions#421
zquestz merged 1 commit intozquestz:masterfrom
petergoldstein:feature/migrate_ci_to_github_actions

Commits

Commits on Mar 5, 2022