.github: tweak again

[factor.git] / .github / workflows / test_branch.yml

diff --git a/.github/workflows/test_branch.yml b/.github/workflows/test_branch.yml
index 3951d203458e6d293e619c8ce6fd4a1d60bee76b..2116e4a0e9f526040fe838ec1b0c788a9e6dcc5c 100644 (file)
--- a/.github/workflows/test_branch.yml
+++ b/.github/workflows/test_branch.yml
@@ -48,4 +48,5 @@ jobs:
       shell: cmd
       run: 'factor -run=tools.test resource:core'
     - name: help-lint
+      shell: cmd
       run: 'factor -run=help.lint resource:core resource:basis resource:extra'