| .. |
|
Jenkinsfile-basic
|
2381da9cb4
contrib/ci.inria.fr: only build on recent versions of debian
|
4 éve |
|
Jenkinsfile-bsd
|
61f4980834
migrate to gitlab
|
5 éve |
|
Jenkinsfile-windows
|
9da1a8767c
contrib/ci.inria.fr: use debian recent version
|
4 éve |
|
job-0-tarball.sh
|
f5d7ec4fb4
contrib/ci.inria.fr: build pdf documentation
|
5 éve |
|
job-1-build-windows.sh
|
833224874a
contrib/ci.inria.fr/job-1-build-windows.sh: fix unix syntax for windows path
|
4 éve |
|
job-1-check-windows.bat
|
acc95f4b12
contrib/ci.inria.fr/job-1-check-windows.bat: fix PATH
|
4 éve |
|
job-1-check.sh
|
10764899bc
contrib/ci.inria.fr: only updating configure time has the effect of getting into a infinite loop of make calling configure and so on
|
4 éve |
Nathalie Furmento
acc95f4b12
contrib/ci.inria.fr/job-1-check-windows.bat: fix PATH