Revert ".github: tweak again"

This reverts commit 1b36916f7fc27c1f5e33141cf33acc4a1a98ca6e.

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

diff --git a/.github/workflows/test_branch.yml b/.github/workflows/test_branch.yml
index 2116e4a0e9f526040fe838ec1b0c788a9e6dcc5c..3951d203458e6d293e619c8ce6fd4a1d60bee76b 100644 (file)
--- a/.github/workflows/test_branch.yml
+++ b/.github/workflows/test_branch.yml
@@ -48,5 +48,4 @@ 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'