Revert "Use TeX Live distribution instead of MikTeX"

learning-process · Jan 17, 2024 · 2fee175 · 2fee175
1 parent 0c07e78
commit 2fee175
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -34,16 +34,16 @@ jobs:
         submodules: true
     - name: Setup environment
       run: |
-        choco install texlive --params="'/scheme:full'" --execution-timeout=10000
+        choco install miktex --no-progress
+        echo "C:\Program Files\MiKTeX\miktex\bin\x64" | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8
     - name: Build
       run: |
-        Import-Module "$env:ChocolateyInstall\helpers\chocolateyProfile.psm1"
-        refreshenv
         mkdir build
         cd build
         cmake -D USE_LATEX=ON  ..
-        cmake --build .
+        cmake --build . 
         cd ..
+      shell: bash
     - uses: actions/upload-artifact@v4
       with:
         name: windows-artifacts