Skip to content

Move CI to GitHub Actions#175

Merged
karlnyr merged 14 commits intorc400from 174-move-ci-to-ghaJul 31, 2024