Iteration on TLC wrapper script · microsoft/CCF@5fc533a

Triggered via pull request October 1, 2024 13:55

achamayou

synchronize #6513

achamayou:tlc_cli

Status Cancelled

Total duration 10m 48s

Artifacts 1

ci-verification.yml

on: pull_request

3 errors and 1 warning

Process completed with exit code 2.

Canceling since a higher priority waiting request for 'Continuous Verification-refs/pull/6513/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.69 MB