From: John Benediktsson Date: Mon, 1 Aug 2022 14:54:37 +0000 (-0700) Subject: .github: try and use Developer Command Prompt. X-Git-Tag: 0.99~1234 X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=e1781bcf63f45c59caa3895002d82a44a2cde9b5 .github: try and use Developer Command Prompt. --- diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 41f6624fad..2d0ffba690 100644 --- 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"'