 Nathalie Furmento
|
a1e69e1e45
contrib/ci.inria.fr/job-1-build-windows.sh: avoid timestamp errors
|
hace 4 años |
|
Nathalie Furmento
|
271a7d9d0f
update copyright holders
|
hace 5 años |
|
Nathalie Furmento
|
4ec665b251
contrib/ci.inria.fr: only run windows pipeline once a day + minor changes in build script
|
hace 6 años |
|
Nathalie Furmento
|
698fc68f17
contrib/ci.inria.fr/job-1-build-windows.sh: delete installation directory
|
hace 6 años |
|
Nathalie Furmento
|
7123b2e59f
contrib/ci.inria.fr: update building script
|
hace 6 años |
|
Nathalie Furmento
|
76d3970668
contrib/ci.inria.fr: update windows pipeline
|
hace 6 años |
