Update miktex version in CI

cai4cai · Feb 21, 2024 · 7749014 · 7749014
1 parent 4a2bdd0
commit 7749014
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -40,6 +40,7 @@ jobs:
     runs-on: windows-latest
     env:
       MIKTEX_BASE_URL: 'https://ctan.math.illinois.edu/systems/win32/miktex'
+      MIKTEX_ZIP: 'miktexsetup-5.5.0+1763023-x64.zip'
       LOCAL_MIKTEX_REPO: 'C:/MiKTeX-Repo'
       BIN_DIR_WINDOWS:      'C:/Program Files/MiKTeX/miktex/bin/x64/'
       BIN_DIR_WINDOWS_UNIX: '/c/Program Files/MiKTeX/miktex/bin/x64/'
@@ -52,8 +53,6 @@ jobs:
 
       - name: Download MiKTeX CLI installer
         shell: bash
-        env:
-          MIKTEX_ZIP: miktexsetup-4.2-x64.zip
         run: |
           curl --location --remote-name $MIKTEX_BASE_URL/setup/windows-x64/$MIKTEX_ZIP
           unzip $MIKTEX_ZIP