From 4107341cdbd13a0aa88f6bd5cb5896af81f4ef79 Mon Sep 17 00:00:00 2001 From: Nesterov Alexander Date: Wed, 17 Jan 2024 18:23:31 +0100 Subject: [PATCH] Revert "Revert "Use TeX Live distribution instead of MikTeX"" --- .github/workflows/main.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 73f6db7..d1eaed9 100644 --- a/.github/workflows/main.yml +++ b/.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