drop circleci for github actions, run CI on mac and windows as well#500
Merged
oyvindberg merged 6 commits intomasterfrom github-actionsNov 15, 2022
+556-475
Commits
Commits on Nov 15, 2022
- committed
- committed
- committed
- committed
- committed
- committed
