Skip to content

Migrate to GitHub Actions#175

Merged
FranzBusch merged 4 commits intomainfrom
adopt_github_actions
Nov 13, 2024
Merged

Migrate to GitHub Actions#175
FranzBusch merged 4 commits intomainfrom
adopt_github_actions

Commits

Commits on Nov 12, 2024

Commits on Nov 13, 2024