Check refinement of high-level spec abs with all models · microsoft/CCF@e43c483

Triggered via pull request October 2, 2024 14:57

achamayou

synchronize #6509

lemmy:mku-refine

Status Failure

Total duration 4h 19m 5s

Artifacts 2

ci-verification.yml

on: pull_request

1 error and 1 warning

Process completed with exit code 1.

You are running out of disk space. The runner will stop working when the machine runs out of disk space. Free space left: 98 MB

Produced during runtime

Name	Size
tlc-model-checking-consensus	69.3 KB
tlc-trace-validation-consensus	3.7 MB