Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit eaabcbfd authored by GILLES Sebastien's avatar GILLES Sebastien
Browse files

#177 CI: Naming issue corrected.

parent da31c470
...@@ -2,7 +2,7 @@ valgrind-elasticity: ...@@ -2,7 +2,7 @@ valgrind-elasticity:
stage: valgrind stage: valgrind
image: registry.gitlab.inria.fr/morefem/analysistools/valgrind:latest image: registry.gitlab.inria.fr/morefem/analysistools/valgrind:latest
script: script:
- mkdir -p build4valgrind - mkdir -p build
- cd build && python ../Scripts/Tools/run_valgrind_elasticity.py - cd build && python ../Scripts/Tools/run_valgrind_elasticity.py
dependencies: [] dependencies: []
artifacts: artifacts:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment