Add option to disable set axiomatization (#708) #4323
Annotations
6 errors and 2 warnings
|
|
|
Create annotations:
.github/workflows/test.yml#L1
Z3 used up to 12.4256GB of RAM
|
|
Create annotations
Process completed with exit code 1.
|
|
Upload RAM usage
aborting artifact upload
|
|
Upload RAM usage
An error was encountered when uploading pidstat.txt. There were 1 items that failed to upload.
|
|
Execute all tests
The operation was canceled.
|
|
Create annotations:
.github/workflows/test.yml#L1
Java used up to 5.04333GB of RAM
|
|
Upload RAM usage
Aborting upload for /home/runner/work/gobra/gobra/sync/pidstat.txt due to failure
|
The logs for this run have expired and are no longer available.
Loading