.github: tweak again

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 590486e65ca1ce7a1b02c4786ed5bd3acf6aae06..8f25fec8c30bdc4d668f8044f2881c1d820db6d8 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -51,4 +51,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'