Skip to content
Quint

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

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 #18

Triggered via pull request November 10, 2023 13:35
@romacromac
synchronize #18
romac/itf
Status Success
Total duration 29s
Artifacts –

quint.yml

on: pull_request
Typecheck
16s
Typecheck
Fit to window
Zoom out
Zoom in