@@ -611,6 +611,11 @@ jobs:
611
611
- name : Fetch dependencies
612
612
run : |
613
613
choco install winflexbison3
614
+ if($LastExitCode -ne 0)
615
+ {
616
+ Write-Output "::error ::Dependency installation via Chocolatey failed."
617
+ exit $LastExitCode
618
+ }
614
619
nuget install clcache -OutputDirectory "c:\tools" -ExcludeVersion -Version 4.1.0
615
620
echo "c:\tools\clcache\clcache-4.1.0" >> $env:GITHUB_PATH
616
621
Invoke-WebRequest -Uri https://github.com/Z3Prover/z3/releases/download/z3-4.8.10/z3-4.8.10-x64-win.zip -OutFile .\z3.zip
@@ -664,6 +669,11 @@ jobs:
664
669
- name : Fetch dependencies
665
670
run : |
666
671
choco install -y winflexbison3 strawberryperl wget
672
+ if($LastExitCode -ne 0)
673
+ {
674
+ Write-Output "::error ::Dependency installation via Chocolatey failed."
675
+ exit $LastExitCode
676
+ }
667
677
nuget install clcache -OutputDirectory "c:\tools" -ExcludeVersion -Version 4.1.0
668
678
echo "c:\tools\clcache\clcache-4.1.0" >> $env:GITHUB_PATH
669
679
echo "c:\ProgramData\chocolatey\bin" >> $env:GITHUB_PATH
@@ -731,6 +741,11 @@ jobs:
731
741
- name : Fetch dependencies
732
742
run : |
733
743
choco install winflexbison3
744
+ if($LastExitCode -ne 0)
745
+ {
746
+ Write-Output "::error ::Dependency installation via Chocolatey failed."
747
+ exit $LastExitCode
748
+ }
734
749
nuget install clcache -OutputDirectory "c:\tools" -ExcludeVersion -Version 4.1.0
735
750
echo "c:\tools\clcache\clcache-4.1.0" >> $env:GITHUB_PATH
736
751
- name : Setup Visual Studio environment
0 commit comments