Skip to content

Migrate to Github actions for CI#72

Merged
fimad merged 8 commits intomasterfrom github-ciMar 3, 2024