Skip to content

ci: update the workflows#37

Closed
andredestro wants to merge 1 commit intomainfrom
misc/update-ci
Closed

ci: update the workflows#37
andredestro wants to merge 1 commit intomainfrom
misc/update-ci

Commits

Commits on Sep 10, 2025