Nathalie Furmento
|
340d322899
update copyright holders
|
5 jaren geleden |
Nathalie Furmento
|
4930d6ca3d
contrib/ci.inria.fr: limit email recipients
|
5 jaren geleden |
Nathalie Furmento
|
c802fe8cc0
contrib/ci.inria.fr: limit email recipients
|
5 jaren geleden |
Nathalie Furmento
|
4ec665b251
contrib/ci.inria.fr: only run windows pipeline once a day + minor changes in build script
|
6 jaren geleden |
Nathalie Furmento
|
d46ccff62a
contrib/ci.inria.fr: finalize pipeline for windows
|
6 jaren geleden |
Nathalie Furmento
|
dc40d9a0cf
contrib/ci.inria.fr/Jenkinsfile-windows: update artifact archiving
|
6 jaren geleden |
Nathalie Furmento
|
f496c9124e
contrib/ci.inria.fr/Jenkinsfile-windows: fix getting stash
|
6 jaren geleden |
Nathalie Furmento
|
c2fdb1002b
contrib/ci.inria.fr/Jenkinsfile-windows: update script to list artifact
|
6 jaren geleden |
Nathalie Furmento
|
972550fa61
contrib/ci.inria.fr/Jenkinsfile-windows: artefact zip file
|
6 jaren geleden |
Nathalie Furmento
|
eda7118f7f
contrib/ci.inria.fr/Jenkinsfile-windows: partly revert last commit
|
6 jaren geleden |
Nathalie Furmento
|
1a92832fd7
contrib/ci.inria.fr/Jenkinsfile-windows: send an email
|
6 jaren geleden |
Nathalie Furmento
|
0ba6e5a7f9
contrib/ci.inria.fr/Jenkinsfile-windows: do not delete directory if environment variable KEEP_WORKING_DIRECTORY is set to true
|
6 jaren geleden |
Nathalie Furmento
|
76d3970668
contrib/ci.inria.fr: update windows pipeline
|
6 jaren geleden |
Nathalie Furmento
|
6b4e31f2c0
contrib/ci.inria.fr: update Jenkinsfile-windows
|
6 jaren geleden |
Nathalie Furmento
|
24594dac42
contrib/ci.inria.fr: update Jenkinsfile-windows
|
6 jaren geleden |
Nathalie Furmento
|
0f511e7abf
contrib/ci.inria.fr: update windows pipeline
|
6 jaren geleden |
Nathalie Furmento
|
409f559c2c
contrib/ci.inria.fr: update windows file
|
6 jaren geleden |
Nathalie Furmento
|
22cca687dd
contrib/ci.inria.fr: add pipeline for windows
|
6 jaren geleden |