Nathalie Furmento 001e36a3f6 contrib/ci.inria.fr/job-1-check.sh: fix saving env 4 years ago
..
Jenkinsfile-basic e95fe9ee45 Revert "contrib/ci.inria.fr: only build on recent versions of debian" 4 years ago
Jenkinsfile-bsd 9054490002 happy 2021 4 years ago
Jenkinsfile-windows 2108c6192a Revert "contrib/ci.inria.fr/Jenkinsfile-windows: do not delete directory" 4 years ago
job-0-tarball.sh 9054490002 happy 2021 4 years ago
job-1-build-windows.sh 2f2067f0d7 contrib: set execute permission 4 years ago
job-1-check-windows.bat a2a9bb9fd4 configure/ci.inria.fr: fix PATH 4 years ago
job-1-check.sh 001e36a3f6 contrib/ci.inria.fr/job-1-check.sh: fix saving env 4 years ago