Skip to content

.github: update GitHub actions#12

Merged
simonpasquier merged 1 commit intorhobs:masterfrom
simonpasquier:update-ci-actions
Nov 19, 2025
Merged

.github: update GitHub actions#12
simonpasquier merged 1 commit intorhobs:masterfrom
simonpasquier:update-ci-actions

Commits

Commits on Oct 1, 2025