Switch CI to GitHub actions#915
Merged
benjaminwood merged 21 commits intomasterfrom hint/chore/github-actionsNov 3, 2023
+110-140
Commits
Commits on Mar 17, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 19, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed