Skip to content
Quint

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

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

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

quint.yml

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