Nathalie Furmento 4ec665b251 contrib/ci.inria.fr: only run windows pipeline once a day + minor changes in build script %!s(int64=7) %!d(string=hai) anos
..
ci.inria.fr 4ec665b251 contrib/ci.inria.fr: only run windows pipeline once a day + minor changes in build script %!s(int64=7) %!d(string=hai) anos