Skip to content
Quint

test(spec): A problematic run #140

Sign in to view logs

test(spec): A problematic run

test(spec): A problematic run #140

Triggered via pull request December 6, 2023 10:04
@josef-widderjosef-widder
synchronize #101
josef/i95-testcases
Status Success
Total duration 5m 58s
Artifacts –

quint.yml

on: pull_request
Typecheck
5m 46s
Typecheck
Test
4m 17s
Test
Fit to window
Zoom out
Zoom in