Switch from Travis CI to Github actions. #80#86
Merged
mittinatten merged 10 commits intomasterfrom add-github-actionsNov 13, 2022
+52-41
Commits
Commits on Nov 13, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed