 Nathalie Furmento
|
84d1842fd2
contrib/ci.inria.fr/job-1-build-windows.sh: update path
|
4 years ago |
|
Nathalie Furmento
|
de99a4107f
contrib/ci.inria.fr/job-1-build-windows.sh: make sure to use mingw tools and not windows ones
|
4 years ago |
|
Nathalie Furmento
|
a1e69e1e45
contrib/ci.inria.fr/job-1-build-windows.sh: avoid timestamp errors
|
4 years ago |
|
Nathalie Furmento
|
271a7d9d0f
update copyright holders
|
5 years ago |
|
Nathalie Furmento
|
4ec665b251
contrib/ci.inria.fr: only run windows pipeline once a day + minor changes in build script
|
6 years ago |
|
Nathalie Furmento
|
698fc68f17
contrib/ci.inria.fr/job-1-build-windows.sh: delete installation directory
|
6 years ago |
|
Nathalie Furmento
|
7123b2e59f
contrib/ci.inria.fr: update building script
|
6 years ago |
|
Nathalie Furmento
|
76d3970668
contrib/ci.inria.fr: update windows pipeline
|
6 years ago |
