Debug space #230
Triggered via pull request
October 23, 2024 21:45
filipeom
Status
Failure
Total duration
2h 35m 5s
Artifacts
–
Annotations
1 error and 1 warning
|
test-cvc5
The hosted runner: GitHub Actions 8 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
|
test-cvc5
You are running out of disk space. The runner will stop working when the machine runs out of disk space. Free space left: 4 MB
|