Skip to content

Migrate to GitHub Actions#44

Merged
FranzBusch merged 3 commits intomainfrom
adopt_github_actions
Nov 12, 2024

Commits

Commits on Nov 12, 2024