Skip to content

Renamed Jenkins file - #17

Merged
MayeulRousselet merged 1 commit into
mainfrom
chore/rename-jenkinsfile
Aug 21, 2026
Merged

Renamed Jenkins file#17
MayeulRousselet merged 1 commit into
mainfrom
chore/rename-jenkinsfile

Commits

Commits on Aug 21, 2026