diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 80213f394f7ff120b9f7c4aea4bab729c3fa9e2f..61dd0d633ba893d2c00eba72fd340a2a628ac754 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -22,11 +22,20 @@ before_script: git--gcc: image: registry.dune-project.org/joe/dune-perftool-ci/perftool-base:git script: duneci-standard-test + tags: + - "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" + - "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" + - "perftool"