| .. |
|
Jenkinsfile-basic
|
ac5ba0ab21
contrib/ci.inria.fr: only run basic pipeline every hour
|
6 yıl önce |
|
Jenkinsfile-bsd
|
ac5ba0ab21
contrib/ci.inria.fr: only run basic pipeline every hour
|
6 yıl önce |
|
Jenkinsfile-windows
|
4ec665b251
contrib/ci.inria.fr: only run windows pipeline once a day + minor changes in build script
|
6 yıl önce |
|
job-0-tarball.sh
|
f7abbfa6fc
update copyright
|
6 yıl önce |
|
job-1-build-windows.sh
|
4ec665b251
contrib/ci.inria.fr: only run windows pipeline once a day + minor changes in build script
|
6 yıl önce |
|
job-1-check-windows.bat
|
e5db2b804a
contrib/ci.inria.fr: update script name
|
6 yıl önce |
|
job-1-check.sh
|
c16433e905
contrib/ci.inria.fr: set timeout to 1800 s
|
6 yıl önce |
Nathalie Furmento
ac5ba0ab21
contrib/ci.inria.fr: only run basic pipeline every hour