Remove writing state-space statistics after the demise of cimetrics. · microsoft/CCF@eb31389

Triggered via pull request October 2, 2024 16:25

lemmy

opened #6518

lemmy:mku-statsfile

Status Cancelled

Total duration 6m 0s

Artifacts 1

ci-verification.yml

on: pull_request

3 errors and 1 warning

Process completed with exit code 151.

Canceling since a higher priority waiting request for 'Continuous Verification-refs/pull/6518/merge' exists

The operation was canceled.

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