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

Renamed Jenkins file

b45ea83
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
make
Started 2026-08-21 09:16:31 ago
Starting job