Skip to content
test

Add option to disable set axiomatization (#708) #4323

Sign in to view logs

Add option to disable set axiomatization (#708)

Add option to disable set axiomatization (#708) #4323

Re-run triggered December 14, 2023 14:25
@jcp19jcp19
d389153
master
Status Failure
Total duration 6h 1m 57s
Artifacts 1

test.yml

on: push
build-test-deploy-container
6h 1m
build-test-deploy-container
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 2 warnings
build-test-deploy-container
The job running on runner GitHub Actions 2 has exceeded the maximum execution time of 360 minutes.
build-test-deploy-container: .github/workflows/test.yml#L1
Z3 used up to 12.4256GB of RAM
build-test-deploy-container
Process completed with exit code 1.
build-test-deploy-container
aborting artifact upload
build-test-deploy-container
An error was encountered when uploading pidstat.txt. There were 1 items that failed to upload.
build-test-deploy-container
The operation was canceled.
build-test-deploy-container: .github/workflows/test.yml#L1
Java used up to 5.04333GB of RAM
build-test-deploy-container
Aborting upload for /home/runner/work/gobra/gobra/sync/pidstat.txt due to failure

Artifacts

Produced during runtime
Name Size
pidstat.txt Expired
15.1 MB