diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 568a0001a7f9e6df734a00f6bbb7ad770f265369..b0df61c7e1fee8ba211819b722c4aea9fe7a6623 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -18,7 +18,7 @@ git-debian-10-gcc-7-14: - "cores:20" - "perftool" -git-debian-10-clang-6-libcpp-17: +git-debian-10-clang-7-libcpp-17: image: "registry.dune-project.org/docker/ci/dune-pdelab:git-debian-10-clang-7-libcpp-17" script: duneci-standard-test tags: