diff options
author | Ben Gamari <ben@well-typed.com> | 2021-11-09 16:53:33 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-11-12 21:23:51 -0500 |
commit | e41cffb0aa4a34e77006be4f35a3ae82fce15542 (patch) | |
tree | 9f7c3fe77e491ca97d043cb9c9f8a6a26d085b50 | |
parent | 051666609cd1fce5d612ba66d44ac0b782f9cc2b (diff) | |
download | haskell-e41cffb0aa4a34e77006be4f35a3ae82fce15542.tar.gz |
Fix it
-rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ea25f29d49..eed995062e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -87,7 +87,8 @@ workflow: .lint: stage: tool-lint - tags: lint + tags: + - lint rules: - *drafts-can-fail-lint |