Skip to content

Update CI configuration#202

Merged
gerlero merged 1 commit intomainfrom actionsOct 15, 2024

Commits

Commits on Oct 15, 2024