Commit 42234c34 authored by Björn Brandenburg's avatar Björn Brandenburg

WIP

parent a369c3c6
Pipeline #21870 failed
......@@ -46,7 +46,7 @@ stages:
.only-for-master:
rules:
- if: '$CI_COMMIT_REF_NAME == "master"'
- if: '$CI_COMMIT_REF_NAME != "master"'
- if: '$CI_MERGE_REQUEST_TARGET_BRANCH_NAME == "master"'
1.9.0-coq-8.10:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment