Skip to content

[ci] move CI to github, remove hardcoded flags#22

Merged
Kerilk merged 4 commits intomasterfrom feature/github-ciSep 17, 2024