Skip to content

[CI] Adopt GitHub actions#187

Merged
FranzBusch merged 1 commit intomainfrom
fb-gha
Oct 31, 2024
Merged

[CI] Adopt GitHub actions#187
FranzBusch merged 1 commit intomainfrom
fb-gha

Commits

Commits on Oct 31, 2024