Coverage

test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs #169

Sign in to view logs

Summary
Jobs
- coverage
Run details
- Usage
- Workflow file

Triggered via pull request November 10, 2023 13:34

romac

synchronize #18

romac/itf

Status Failure

Total duration 1m 9s

Artifacts –

coverage.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.