diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-21 10:50:41 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-21 10:50:41 +0100 |
commit | 9ce733bd06a6f36a144769b05b9405ea7ebbbfb9 (patch) | |
tree | 918c0201c6e9212c2f2428161ec236cfbf1706e2 /.gitlab-ci.yml | |
parent | d19e5a265cdee251b582792b63ed7e91c313579f (diff) | |
download | compcert-kvx-9ce733bd06a6f36a144769b05b9405ea7ebbbfb9.tar.gz compcert-kvx-9ce733bd06a6f36a144769b05b9405ea7ebbbfb9.zip |
essai d'avoir le pipeline en manuel OU sur certaines branches
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 95 |
1 files changed, 64 insertions, 31 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 79a00d3b..ad684229 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -11,10 +11,14 @@ build_x86_64: script: - ./config_x86_64.sh - make -j "$NJOBS" - only: - - master - - mppa-k1c - - mppa-work + 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_ia32: stage: build @@ -26,10 +30,14 @@ build_ia32: script: - ./config_ia32.sh - make -j "$NJOBS" - only: - - master - - mppa-k1c - - mppa-work + 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_aarch64: stage: build @@ -43,10 +51,14 @@ build_aarch64: script: - ./config_aarch64.sh - make -j "$NJOBS" - only: - - master - - mppa-k1c - - mppa-work + 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_arm: stage: build @@ -60,10 +72,14 @@ build_arm: script: - ./config_arm.sh - make -j "$NJOBS" - only: - - master - - mppa-k1c - - mppa-work + 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_ppc: stage: build @@ -77,10 +93,14 @@ build_ppc: script: - ./config_ppc.sh - make -j "$NJOBS" - only: - - master - - mppa-k1c - - mppa-work + 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_rv64: stage: build @@ -94,10 +114,14 @@ build_rv64: script: - ./config_rv64.sh - make -j "$NJOBS" - only: - - master - - mppa-k1c - - mppa-work + 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_rv32: stage: build @@ -111,10 +135,14 @@ build_rv32: script: - ./config_rv32.sh -no-runtime-lib - make -j "$NJOBS" - only: - - master - - mppa-k1c - - mppa-work + 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_k1c: stage: build @@ -126,6 +154,11 @@ build_k1c: script: - ./config_k1c.sh -no-runtime-lib - make -j "$NJOBS" - only: - - mppa-k1c - - mppa-work + 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 |