diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e84868eaaf2de27af9e787087ec32ef81a8c1d38..fd3368160da286cea3f4f4f99bce44b1f06b1c23 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -19,11 +19,11 @@ debian:10 gcc-7-14--expensive: # is unavailable allow_failure: true -debian:10 gcc-8-17: +debian:10 gcc-8-noassert-17: image: registry.dune-project.org/docker/ci/debian:10 script: duneci-standard-test variables: - DUNECI_TOOLCHAIN: gcc-8-17 + DUNECI_TOOLCHAIN: gcc-8-noassert-17 DUNECI_CMAKE_FLAGS: "-DDUNE_PYTHON_VIRTUALENV_SETUP=1" tags: [duneci]