diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-31 20:28:50 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-31 20:28:50 +0200 |
commit | 6bfbd278803e14ddd8c74ae582e76607cca69591 (patch) | |
tree | 71fab5167e200156b99b21516aecf1c07bd6911f /.gitlab-ci.yml | |
parent | 746cee9d2ea090c0b91dc358844f3456b8e91da8 (diff) | |
download | compcert-kvx-6bfbd278803e14ddd8c74ae582e76607cca69591.tar.gz compcert-kvx-6bfbd278803e14ddd8c74ae582e76607cca69591.zip |
do not run check-admitted always
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ed3cb261..1f854fc3 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -11,6 +11,14 @@ check-admitted: script: - ./config_x86_64.sh - make check-admitted + rules: + - if: '$CI_COMMIT_BRANCH == "mppa-work"' + when: always + - if: '$CI_COMMIT_BRANCH == "mppa-k1c"' + when: always + - if: '$CI_COMMIT_BRANCH == "master"' + when: always + - when: manual build_x86_64: stage: build |