No pyflakes

leanprover · Jan 10, 2024 · 03c41ec · 03c41ec
1 parent d0084ad
commit 03c41ec
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/actionlint.yml b/.github/workflows/actionlint.yml
@@ -16,3 +16,5 @@ jobs:
     steps:
     - name: actionlint
       uses: raven-actions/actionlint@v1
+      with:
+        pyflakes: false # we do not use python scripts