diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index dc6c8b4f9aa32dcd94fa2d698c1c239d0906fe28..5bc0d576269c0975a790292e3c6ba5db34fe74d5 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,8 +1,11 @@ --- -dune:git--clang: - image: duneci/dune:git - script: duneci-standard-test --opts=/duneci/opts.clang +dune:git clang C++17: + image: registry.dune-project.org/docker/ci/dune:git-debian-10-clang-6-libcpp-17 + script: duneci-standard-test -dune:git--gcc: - image: duneci/dune:git +dune:git gcc-8 C++17: + image: registry.dune-project.org/docker/ci/dune:git-debian-10-gcc-8-17 script: duneci-standard-test + +dune:git gcc-6 C++14: + image: registry.dune-project.org/docker/ci/dune:git-debian-9-gcc-6-14