diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 0000000000000000000000000000000000000000..d4530471a15589ec13e2c18b173653593e818644 --- /dev/null +++ b/.gitlab-ci.yml @@ -0,0 +1,31 @@ +--- +before_script: + - duneci-install-module https://gitlab.dune-project.org/core/dune-common.git + +debian:9--gcc: + image: duneci/base:9 + script: + - dunecontrol --current --opts=/duneci/opts.gcc all + - dunecontrol --current make build_tests + - cd build-cmake; duneci-ctest + +debian:9--clang: + image: duneci/base:9 + script: + - dunecontrol --current --opts=/duneci/opts.clang all + - dunecontrol --current make build_tests + - cd build-cmake; duneci-ctest + +debian:8--gcc: + image: duneci/base:8 + script: + - dunecontrol --current --opts=/duneci/opts.gcc all + - dunecontrol --current make build_tests + - cd build-cmake; duneci-ctest + +debian:8--clang: + image: duneci/base:8 + script: + - dunecontrol --current --opts=/duneci/opts.clang all + - dunecontrol --current make build_tests + - cd build-cmake; duneci-ctest