Skip to content

[CI] Adopt GitHub actions#187

Merged
FranzBusch merged 1 commit intomainfrom fb-ghaOct 31, 2024

Commits

Commits on Oct 31, 2024