.github: help-lint-all on test_branch

diff --git a/.github/workflows/test_branch.yml b/.github/workflows/test_branch.yml
index 0531324cbd73ffe2f3a1bef3b87d96a639da84c6..eda09c80c662ca2bc3a605c5dd572560f409b799 100644 (file)
--- a/.github/workflows/test_branch.yml
+++ b/.github/workflows/test_branch.yml
@@ -18,7 +18,7 @@ jobs:
     - name: test
       run: './factor -run=tools.test resource:core'
     - name: help-lint
-      run: './factor -run=help.lint resource:core resource:basis'
+      run: './factor -run=help.lint resource:core resource:basis resource:extra'
 
   build-macos:
     runs-on: macos-11
@@ -31,7 +31,7 @@ jobs:
     - name: test
       run: './factor -run=tools.test resource:core'
     - name: help-lint
-      run: './factor -run=help.lint resource:core resource:basis'
+      run: './factor -run=help.lint resource:core resource:basis resource:extra'
 
   build-windows:
     runs-on: windows-latest
@@ -47,3 +47,5 @@ jobs:
     - name: test
       shell: cmd
       run: 'factor -run=tools.test resource:core'
+    - name: help-lint
+      run: './factor -run=help.lint resource:core resource:basis resource:extra'