.gitlab-ci.yml 375 Bytes
Newer Older
Ansgar Burchardt's avatar
Ansgar Burchardt committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14
---
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