Skip to content
Quint

Quint #872

Sign in to view logs

Quint

Quint #872

Triggered via merge group February 12, 2025 14:42
@ancazamfirancazamfir
⁠ 01359f1
Status Success
Total duration 31s
Artifacts –

quint.yml

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