| .. |
|
Jenkinsfile-basic
|
7ade53ad46
contrib: new pipeline for BSD systems
|
7 years ago |
|
Jenkinsfile-bsd
|
7ade53ad46
contrib: new pipeline for BSD systems
|
7 years ago |
|
Jenkinsfile-windows
|
0ba6e5a7f9
contrib/ci.inria.fr/Jenkinsfile-windows: do not delete directory if environment variable KEEP_WORKING_DIRECTORY is set to true
|
7 years ago |
|
job-0-tarball.sh
|
f7abbfa6fc
update copyright
|
7 years ago |
|
job-1-build-windows.sh
|
698fc68f17
contrib/ci.inria.fr/job-1-build-windows.sh: delete installation directory
|
7 years ago |
|
job-1-check-windows.bat
|
e5db2b804a
contrib/ci.inria.fr: update script name
|
7 years ago |
|
job-1-check.sh
|
c16433e905
contrib/ci.inria.fr: set timeout to 1800 s
|
7 years ago |
Nathalie Furmento
0ba6e5a7f9
contrib/ci.inria.fr/Jenkinsfile-windows: do not delete directory if environment variable KEEP_WORKING_DIRECTORY is set to true