 Nathalie Furmento
|
54db478c93
contrib files for ci.inria.fr
|
5 lat temu |
|
Nathalie Furmento
|
5557d6c3af
contrib: delete ci files
|
6 lat temu |
|
Nathalie Furmento
|
4ec665b251
contrib/ci.inria.fr: only run windows pipeline once a day + minor changes in build script
|
6 lat temu |
|
Nathalie Furmento
|
698fc68f17
contrib/ci.inria.fr/job-1-build-windows.sh: delete installation directory
|
6 lat temu |
|
Nathalie Furmento
|
7123b2e59f
contrib/ci.inria.fr: update building script
|
6 lat temu |
|
Nathalie Furmento
|
76d3970668
contrib/ci.inria.fr: update windows pipeline
|
6 lat temu |
