Commit cd94e87c authored by Ansgar Burchardt's avatar Ansgar Burchardt

Merge branch 'feature/update-ci-environments' into 'master'

.gitlab-ci.yml: update environments

See merge request !3
parents 4799ae74 4ec3a6cc
Pipeline #3235 passed with stage
in 7 minutes and 11 seconds
......@@ -2,6 +2,10 @@
before_script:
- duneci-install-module https://gitlab.dune-project.org/core/dune-common.git
debian:10 gcc:c++17:
image: duneci/base:10
script: duneci-standard-test --opts=/duneci/opts.gcc.c++17
debian:9--gcc:
image: duneci/base:9
script: duneci-standard-test
......@@ -14,10 +18,6 @@ debian:8--gcc:
image: duneci/base:8
script: duneci-standard-test
debian:8-backports--clang:
image: duneci/base:8-backports
script: duneci-standard-test --opts=/duneci/opts.clang
ubuntu:16.04--gcc:
image: duneci/base:16.04
script: duneci-standard-test
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment