diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 0000000000000000000000000000000000000000..a12bd2d8663c7681601f3e3bd2b2cbab113f1a13 --- /dev/null +++ b/.gitlab-ci.yml @@ -0,0 +1,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