Skip to content

Move to GitHub Actions for CI#195

Merged
TristanDebrunner merged 3 commits intomasterfrom github-actionsNov 19, 2023