diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a13e28728893942327a88c9e0da42ced8f13114c..61dd0d633ba893d2c00eba72fd340a2a628ac754 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -23,16 +23,19 @@ git--gcc: image: registry.dune-project.org/joe/dune-perftool-ci/perftool-base:git script: duneci-standard-test tags: - - cores:20 + - "cores:20" + - "perftool" git--clang: image: registry.dune-project.org/joe/dune-perftool-ci/perftool-base:git script: duneci-standard-test --opts=/duneci/opts.clang tags: - - cores:20 + - "cores:20" + - "perftool" git--pacxx: image: registry.dune-project.org/joe/dune-perftool-ci/pacxx-perftool-base:git script: duneci-standard-test --opts=/duneci/opts.pacxx tags: - - cores:20 + - "cores:20" + - "perftool"