Revert "Revert "Use TeX Live distribution instead of MikTeX"" (#13)

Author: allnes

.github/workflows/main.yml

@@ -34,16 +34,16 @@ jobs:
         submodules: true
     - name: Setup environment
       run: |
-        choco install miktex --no-progress
-        echo "C:\Program Files\MiKTeX\miktex\bin\x64" | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8
+        choco install texlive --params="'/scheme:full'" --execution-timeout=10000
     - 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