Skip to content

Migrate to GitHub Actions#44

Merged
FranzBusch merged 3 commits intomainfrom adopt_github_actionsNov 12, 2024

Commits

Commits on Nov 12, 2024