Add CI/CD with GitHub Actions#249
Merged
jginsburgn merged 13 commits intomasterfrom ci-cdMar 4, 2022
+19,071-110
Commits
Commits on Mar 3, 2022
- committedJonathan Ginsburg
Commits on Mar 4, 2022
- committedJonathan Ginsburg
- committedJonathan Ginsburg
- committedJonathan Ginsburg
- committedJonathan Ginsburg
- committedJonathan Ginsburg
- committedJonathan Ginsburg
- committedJonathan Ginsburg
- committedJonathan Ginsburg
- committedJonathan Ginsburg
- committedJonathan Ginsburg
- committedJonathan Ginsburg
- committedJonathan Ginsburg