Commit 6e952a55 authored by Guillaume Pasero's avatar Guillaume Pasero

CI: remove shark version, wrong version anyway

parent 915bc6b4
......@@ -27,4 +27,4 @@ shark-build:
stage: build
- ctest -VV -S CI/main_ci.cmake -DIMAGE_NAME:string=ubuntu-18.04-gcc-shark-3.1.4
- ctest -VV -S CI/main_ci.cmake -DIMAGE_NAME:string=ubuntu-18.04-gcc-shark
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