Skip to content
Quint

Quint #899

Sign in to view logs

Quint

Quint #899

Triggered via merge group February 19, 2025 16:27
@romacromac
⁠ 96b39f6
Status Success
Total duration 38s
Artifacts –

quint.yml

on: merge_group
Detect changes
6s
Detect changes
Typecheck
0s
Typecheck
Test
0s
Test
Fit to window
Zoom out
Zoom in