diff options
| author | Samuel Gruetter | 2019-02-09 19:37:10 -0500 |
|---|---|---|
| committer | Samuel Gruetter | 2019-02-09 19:37:10 -0500 |
| commit | 614ddf6d1f29a45d8cd089ca62662913370162d5 (patch) | |
| tree | 7198e572cdeffe493a1739b368ed9dedd9bdfc24 | |
| parent | 39075d0d1d6da98f32782f64ca34f326bdca57a1 (diff) | |
remove `allow_failure: true` for bedrock2
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index fac5abf13f..77e34d4e00 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -524,7 +524,6 @@ validate:quick: library:ci-bedrock2: <<: *ci-template - allow_failure: true library:ci-color: <<: *ci-template-flambda |