]> gitweb.factorcode.org Git - factor.git/commitdiff
.github: tweak windows help step
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 16 Oct 2023 20:20:43 +0000 (13:20 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 16 Oct 2023 20:21:02 +0000 (13:21 -0700)
.github/workflows/build.yml
.github/workflows/test_branch.yml

index 3c64297d91b6a12641c613b62a865eb4e5bd3633..590486e65ca1ce7a1b02c4786ed5bd3acf6aae06 100644 (file)
@@ -51,4 +51,4 @@ jobs:
       shell: cmd
       run: 'factor -run=tools.test resource:core'
     - name: help-lint
-      run: './factor -run=help.lint resource:core resource:basis resource:extra'
+      run: 'factor -run=help.lint resource:core resource:basis resource:extra'
index eda09c80c662ca2bc3a605c5dd572560f409b799..3951d203458e6d293e619c8ce6fd4a1d60bee76b 100644 (file)
@@ -48,4 +48,4 @@ jobs:
       shell: cmd
       run: 'factor -run=tools.test resource:core'
     - name: help-lint
-      run: './factor -run=help.lint resource:core resource:basis resource:extra'
+      run: 'factor -run=help.lint resource:core resource:basis resource:extra'