Skip to content
Quint

test: Deserialize ITF traces emitted by consensus and vote keeper Qui… #37

Sign in to view logs

test: Deserialize ITF traces emitted by consensus and vote keeper Qui…

test: Deserialize ITF traces emitted by consensus and vote keeper Qui… #37

Triggered via push November 15, 2023 11:09
@romacromac
pushed 7caef15
main
Status Success
Total duration 35s
Artifacts –

quint.yml

on: push
Typecheck
21s
Typecheck
Fit to window
Zoom out
Zoom in