Skip to content
Coverage

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

Sign in to view logs

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

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

Triggered via pull request October 25, 2023 17:35
@romacromac
synchronize #18
romac/itf
Status Success
Total duration 57s
Artifacts –

coverage.yml

on: pull_request
coverage
47s
coverage
Fit to window
Zoom out
Zoom in