| .. |
|
Jenkinsfile-basic
|
2381da9cb4
contrib/ci.inria.fr: only build on recent versions of debian
|
5 years ago |
|
Jenkinsfile-bsd
|
61f4980834
migrate to gitlab
|
5 years ago |
|
Jenkinsfile-windows
|
9da1a8767c
contrib/ci.inria.fr: use debian recent version
|
5 years ago |
|
job-0-tarball.sh
|
f5d7ec4fb4
contrib/ci.inria.fr: build pdf documentation
|
5 years ago |
|
job-1-build-windows.sh
|
79ba8cd200
contrib/ci.inria.fr/job-1-build-windows.sh: update path
|
4 years ago |
|
job-1-check-windows.bat
|
0c1c7cc0fe
contrib/ci.inria.fr/job-1-check-windows.bat: update path for msys apps
|
4 years ago |
|
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
|
5 years ago |
Nathalie Furmento
79ba8cd200
contrib/ci.inria.fr/job-1-build-windows.sh: update path