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