github: temporarily disable help-lint checks on windows builder

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 2d0ffba690dd332efe11b086d4259ef3768bc50f..5c3e0123d6802acf8c2cb7ea54095ef6037ea652 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -47,6 +47,3 @@ jobs:
     - name: test
       shell: cmd
       run: 'factor -run=tools.test resource:core'
-    - name: help-lint
-      shell: cmd
-      run: 'factor -run=help.lint resource:core resource:basis'