ci: use gaplint v1.1.4 + enable more rules

gap-system · Jan 10, 2023 · 3d47e2b · 3d47e2b
1 parent 60ae34e
commit 3d47e2b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/.gaplint.yml b/.gaplint.yml
@@ -1,5 +1,4 @@
 disable:
-- W000
 - W001
 - W002
 - W003
@@ -15,7 +14,6 @@ disable:
 - W014
 - W015
 - W016
-- W017
 - W018
 - W019
 - W020

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -21,6 +21,6 @@ jobs:
         with:
           python-version: '3.10'
       - name: "Install gaplint with pip"
-        run: pip install gaplint==1.1.3
-      - name: "Run gaplint lib/*.gi lib/*.gd . . ."
+        run: pip install gaplint==1.1.4
+      - name: "Run gaplint lib/*.g* hpcgap/lib/*.g* grp/*.g lib/hpc/*.g hpcgap/lib/hpc/*.g . . ."
         run: gaplint lib/*.g* hpcgap/lib/*.g* grp/*.g lib/hpc/*.g hpcgap/lib/hpc/*.g