diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 0000000000000000000000000000000000000000..1609a5207c3be081f5239a84e6a4d489e711e910 --- /dev/null +++ b/.gitlab-ci.yml @@ -0,0 +1,10 @@ +--- +# Install external dependencies + +dune:git--clang: + image: duneci/dune:git + script: duneci-standard-test --opts=/duneci/opts.clang + +dune:git--gcc: + image: duneci/dune:git + script: duneci-standard-test