Skip to content

.github: update GitHub actions#12

Open
simonpasquier wants to merge 1 commit intorhobs:masterfrom
simonpasquier:update-ci-actions
Open

.github: update GitHub actions#12
simonpasquier wants to merge 1 commit intorhobs:masterfrom
simonpasquier:update-ci-actions

Commits

Commits on Oct 1, 2025