Commit 774bb34b authored by Praetorius, Simon's avatar Praetorius, Simon
Browse files

gitlabci updated

parent 55d46bd4
...@@ -4,7 +4,7 @@ cache: ...@@ -4,7 +4,7 @@ cache:
- install/ - install/
dune:git--gcc: dune:git--gcc:
image: mathiwr/dune-base:debian9 image: mathiwr/dune:latest
script: script:
- ./contrib/ci-setup - ./contrib/ci-setup
- dunecontrol --opts=/duneci/opts.gcc --current all - dunecontrol --opts=/duneci/opts.gcc --current all
......
Supports Markdown
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