TACAS25 Artifact #360
Triggered via pull request
October 23, 2024 11:16
joaomhmpereira
Status
Failure
Total duration
6h 0m 24s
Artifacts
–
Annotations
2 errors and 1 warning
|
test-bitwuzla
The job running on runner GitHub Actions 1 has exceeded the maximum execution time of 360 minutes.
|
|
test-bitwuzla
The operation was canceled.
|
|
test-bitwuzla
You are running out of disk space. The runner will stop working when the machine runs out of disk space. Free space left: 55 MB
|