Skip to content

Add CI with Github actions#56

Merged
mr150 merged 4 commits intomasterfrom ci/actionsJun 14, 2024

Commits

Commits on Jun 11, 2024

Commits on Jun 14, 2024