Fix syntax error #248
Annotations
1 error
Run benchcomp unit and regression tests
Process completed with exit code 1.
|
Set up 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.
Checkout Kani
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.
Install benchcomp dependencies
8s
8s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Setup Kani Dependencies
1m 24s
1m 24s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Build Kani using release mode
2m 21s
2m 21s
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 benchcomp unit and regression tests
13s
13s
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 Checkout Kani
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.
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