Commit 251ecfbb authored by Jonathan Youett's avatar Jonathan Youett

Fix opts files

parent 223cc82e
Pipeline #5519 passed with stage
in 10 minutes and 11 seconds
......@@ -5,8 +5,8 @@ before_script:
dune:git--clang:
image: duneci/dune:git
script: duneci-standard-test
script: duneci-standard-test --opts=/duneci/opts.clang
dune:git--gcc:
image: duneci/dune:git
script: duneci-standard-test --opts=/duneci/opts.clang
script: duneci-standard-test
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