Update Submodules #3768
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.
Install prerequisites
12s
12s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Download Gobra server artifact
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.
Download Viper Tools
12s
12s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Unzip Viper Tools
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.
Create a Gobra Tools folder
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.
Copy boogie from ViperTools to Gobra Tools
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.
Copy z3 from ViperTools to Gobra Tools
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.
Copy Gobra server artifact to Gobra Tools
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.
Create folder to store Gobra Tools platform zip files
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.
Zip Gobra Tools
7s
7s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Upload Gobra Tools
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.
Complete job
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.
Loading