.github: try and use Developer Command Prompt.

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 41f6624fad974d2c531ad4dc68d60b52d5afea73..2d0ffba690dd332efe11b086d4259ef3768bc50f 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -37,11 +37,10 @@ jobs:
     runs-on: windows-latest
     steps:
     - uses: actions/checkout@v2
+    - uses: ilammy/msvc-dev-cmd@v1
     - name: build
       shell: cmd
-      run: |
-        call "C:\Program Files (x86)\Microsoft Visual Studio\2019\Enterprise\VC\Auxiliary\Build\vcvars64.bat"
-        build.cmd net-bootstrap
+      run: build.cmd net-bootstrap
     - name: load-all
       shell: cmd
       run: 'factor -e="USING: memory namespaces parser.notes vocabs.hierarchy ; parser-quiet? off load-all save"'