Migrate cpp binaries compilation from old jenkins to gitlab CI
our build still rely on some OS specific binaries that were compiled using jenkins (https://ci.inria.fr/atsyra/)
This server will probably shut down in the next monthes
even if this is not mainstream for the current dev, it is still useful when looking at the older version)
we need to port these compilations to our gitlab CI (including the windows build)
-
VariationFront Linux -
VariationFront Windows -
refinementCorrectness Linux -
refinementCorrectness Windows
Edited by Vojtisek Didier