Nathalie Furmento 3abc2c75c6 Merge branch 'master' into python-test 4 years ago
..
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 340d322899 update copyright holders 5 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 271a7d9d0f update copyright holders 5 years ago
job-1-check.sh 61e4acf372 contrib/ci.inria.fr: fix to avoid clock problem 4 years ago