Skip to content

Renamed Jenkins file - #17

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

MayeulRousselet merged 1 commit into
mainfrom
chore/rename-jenkinsfile

Commits

  1. Commits on Aug 21, 2026