Skip to content
Quint

spec: Overview over consensus logic covered with tests #124

Sign in to view logs

spec: Overview over consensus logic covered with tests

spec: Overview over consensus logic covered with tests #124

Triggered via pull request November 28, 2023 17:38
@josef-widderjosef-widder
synchronize #92
josef/testcoverage
Status Success
Total duration 2m 41s
Artifacts –

quint.yml

on: pull_request
Typecheck
2m 27s
Typecheck
Test
1m 34s
Test
Fit to window
Zoom out
Zoom in