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

Triggered via pull request October 2, 2024 11:45

achamayou

synchronize #6509

lemmy:mku-refine

Status Failure

Total duration 20m 46s

Artifacts 1

ci-verification.yml

on: pull_request

1 error and 1 warning

Process completed with exit code 150.

No files were found with the provided path: tla/consensus/*_TTrace_*.tla tla/*.json. No artifacts will be uploaded.

Produced during runtime

Name	Size
tlc-trace-validation-consensus	3.7 MB