Skip to content

[misc] Migrate CI to GitHub Actions#17

Merged
slarse merged 6 commits intomasterfrom issue/15-move-ci-to-ghaMay 11, 2021