diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c41b5e8ac767c95dbf68a6823ab3a24570b35aa6..f4ff8046795b8c34e77c5cfcee0d798634ba1fb4 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -85,7 +85,7 @@ benchmark: stage: test tags: ['plafrim'] rules: - - if: $CI_PIPELINE_SOURCE == "schedule" + - if: $CI_PIPELINE_SOURCE == "schedule" && $CI_PIPELINE_SCHEDULE_DESCRIPTION == "Benchmarks" needs: [] variables: CI_HOSTNAME: zonda @@ -109,7 +109,7 @@ database: stage: deploy tags: ['plafrim'] rules: - - if: $CI_PIPELINE_SOURCE == "schedule" + - if: $CI_PIPELINE_SOURCE == "schedule" && $CI_PIPELINE_SCHEDULE_DESCRIPTION == "Benchmarks" needs: ['benchmark'] script: - guix time-machine -C .guix/scalfmm-channels.scm -- shell --pure --preserve="^CI|proxy$"