Skip to content
Quint

feat(spec): Quint tests for blocksync protocol #588

Sign in to view logs

feat(spec): Quint tests for blocksync protocol

feat(spec): Quint tests for blocksync protocol #588

Triggered via pull request November 27, 2024 10:50
@casoncason
synchronize #615
cason/559-tests
Status Success
Total duration 5m 22s
Billable time 7m
Artifacts –

quint.yml

on: pull_request
Typecheck
49s
Typecheck
Test
5m 12s
Test
Fit to window
Zoom out
Zoom in