| .. |
|
Jenkinsfile-basic
|
61f4980834
migrate to gitlab
|
5 år sedan |
|
Jenkinsfile-bsd
|
61f4980834
migrate to gitlab
|
5 år sedan |
|
Jenkinsfile-windows
|
340d322899
update copyright holders
|
5 år sedan |
|
job-0-tarball.sh
|
f5d7ec4fb4
contrib/ci.inria.fr: build pdf documentation
|
5 år sedan |
|
job-1-build-windows.sh
|
271a7d9d0f
update copyright holders
|
5 år sedan |
|
job-1-check-windows.bat
|
271a7d9d0f
update copyright holders
|
5 år sedan |
|
job-1-check.sh
|
e937a4cb91
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 år sedan |
Nathalie Furmento
e937a4cb91
contrib/ci.inria.fr: only updating configure time has the effect of getting into a infinite loop of make calling configure and so on