summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-06-07 11:14:42 -0400
committerBen Gamari <ben@well-typed.com>2019-06-08 13:34:18 -0400
commitc392f987de174ae04c6c7c47145dfe5db6427615 (patch)
treea5a769c40efba0563ee3dbe14960f4057aacd0a5
parentf58234ea75112b1569e860e6a864d66509df381a (diff)
downloadhaskell-c392f987de174ae04c6c7c47145dfe5db6427615.tar.gz
gitlab-ci: A few clarifying comments
-rw-r--r--.gitlab-ci.yml3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a67d45ec4c..d2e28622aa 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -106,6 +106,8 @@ lint-submods-marge:
lint-submods-mr:
extends: .lint-submods
+ # Allow failure since any necessary submodule patches may not be upstreamed
+ # yet.
allow_failure: true
only:
refs:
@@ -129,6 +131,7 @@ lint-submods-mr:
lint-changelogs:
extends: .lint-changelogs
+ # Allow failure since this isn't a final release.
allow_failure: true
only:
refs: