⬆️ Bump actions/setup-node from 4.1.0 to 4.2.0 in the github-actions … #923
Set up job
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run actions/checkout@v4
5s
5s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run /./
4s
4s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run echo "C:\hostedtoolcache\windows\z3\latest\x64\z3-4.13.4-x64-win"
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run [ -d "C:\hostedtoolcache\windows\z3\latest\x64\z3-4.13.4-x64-win" ] || exit 1
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run [ -f "C:\hostedtoolcache\windows\z3\latest\x64\z3-4.13.4-x64-win/bin/z3" ] || exit 1
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run [ -f "C:\hostedtoolcache\windows\z3\latest\x64\z3-4.13.4-x64-win\bin\z3.exe" ] || exit 1
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Run actions/checkout@v4
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading