Commit 4d1ed98d authored by Praetorius, Simon's avatar Praetorius, Simon
Browse files

gitlabci updated

parent 774bb34b
Pipeline #917 passed with stage
in 6 minutes and 54 seconds
......@@ -6,8 +6,7 @@ cache:
dune:git--gcc:
image: mathiwr/dune:latest
script:
- ./contrib/ci-setup
- dunecontrol --opts=/duneci/opts.gcc --current all
- dunecontrol --current all
- dunecontrol --current make test
only:
- develop
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