Commit 161b2beb authored by Ansgar Burchardt's avatar Ansgar Burchardt

Add .gitlab-ci.yml.

parent 215f0e3a
Pipeline #1005 failed with stage
---
dune:git--clang:
image: duneci/dune:git
script:
- dunecontrol --opts=/duneci/opts.clang --current all
- dunecontrol --current make build_tests
- dunecontrol --current make test
dune:git--gcc:
image: duneci/dune:git
script:
- dunecontrol --opts=/duneci/opts.gcc --current all
- dunecontrol --current make build_tests
- dunecontrol --current make 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