Quint

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

Sign in to view logs

Summary
Jobs
- Typecheck
- Test
Run details
- Usage
- Workflow file

Triggered via pull request November 29, 2024 21:51

cason

synchronize #615

cason/559-tests

Status Success

Total duration 5m 31s

Billable time 7m

Artifacts –

quint.yml

on: pull_request