Skip to content

Migrate to GitHub Actions#117

Merged
FranzBusch merged 1 commit intomainfrom
adopt_github_actions
Nov 12, 2024

Commits

Commits on Nov 12, 2024