Skip to content
Quint

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

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

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

quint.yml

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