Skip to content
Quint

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Typecheck
20s
20s