More constraints on linting (surely removed in the future)

2025-08-01 09:34:42 +02:00 · 2020-09-24 12:06:33 +02:00
parent ad2f1391a4
commit 05528cd58c
12 changed files with 23 additions and 29 deletions
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -17,6 +17,3 @@ linters:
    - apk add gcc libc-dev libffi-dev postgresql-dev  # Add texlive
    - pip install tox --no-cache-dir
  script: tox -e linters
-
-  # Be nice to new contributors, but please use `tox`
-  allow_failure: true