Skip to content

Update CI configuration.#5

Merged
hugopl merged 1 commit intomainfrom ciNov 13, 2024

Commits

Commits on Nov 13, 2024