Nathalie Furmento
c1b0ce62bc
contrib/ci.inria.fr/Jenkinsfile-windows: do not delete directory
|
4 years ago | |
|---|---|---|
| .. | ||
| Jenkinsfile-basic | 4 years ago | |
| Jenkinsfile-bsd | 4 years ago | |
| Jenkinsfile-windows | 4 years ago | |
| job-0-tarball.sh | 4 years ago | |
| job-1-build-windows.sh | 4 years ago | |
| job-1-check-windows.bat | 4 years ago | |
| job-1-check.sh | 4 years ago | |