Skip to content
Quint

Quint #1109

Sign in to view logs

Quint

Quint #1109

Triggered via merge group March 18, 2025 08:22
@romacromac
⁠ 9755d15
Status Success
Total duration 15s
Artifacts –

quint.yml

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