Use Github Actions for CI#489
Merged
RobinDaugherty merged 14 commits intomasterfrom feature/github-actionsNov 4, 2020
+190-142
Commits
Commits on Nov 3, 2020
Commits on Nov 4, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed