diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build_cmake.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/build_cmake.yml b/.github/workflows/build_cmake.yml index f376d05..0ef6e93 100644 --- a/.github/workflows/build_cmake.yml +++ b/.github/workflows/build_cmake.yml @@ -69,11 +69,11 @@ jobs: - name: Download MikTex (Windows) run: - $wc = New-Object System.Net.WebClient - $maxAttempts=5 - $attemptCount=0 + $wc = New-Object System.Net.WebClient; + $maxAttempts=5; + $attemptCount=0; Do { - $attemptCount++ + $attemptCount++; $wc.DownloadFile("https://miktex.org/download/win/miktexsetup-x64.zip","miktexsetup-x64.zip") } while (((Test-Path "miktexsetup-x64.zip") -eq $false) -and ($attemptCount -le $maxAttempts)) shell: pwsh |