Remove StatsFile.tla
#45
Triggered via pull request
October 2, 2024 20:01
heidihoward
Status
Failure
Total duration
4h 18m 54s
Artifacts
1
ci-verification.yml
on: pull_request
Model Checking - Consistency
2m 38s
Counterexamples - Consistency
1m 10s
Simulation - Consistency
2m 18s
Model Checking - Consensus
4h 18m
Simulation - Consensus
20m 39s
Trace Validation - Consensus
5m 14s
Annotations
1 error and 1 warning
|
Model Checking - Consensus
The self-hosted runner: 543bc468c000000 lost communication with the server. Verify the machine is running and has a healthy network connection. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
|
Model Checking - Consensus
You are running out of disk space. The runner will stop working when the machine runs out of disk space. Free space left: 79 MB
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
tlc-trace-validation-consensus
|
3.7 MB |
|