Skip to content
Quint

chore(spec): Re-organize Specs/Quint folder (#139) #217

Sign in to view logs

chore(spec): Re-organize Specs/Quint folder (#139)

chore(spec): Re-organize Specs/Quint folder (#139) #217

Triggered via push January 9, 2024 19:16
@romacromac
pushed 90a1d8d
main
Status Success
Total duration 4m 11s
Artifacts –

quint.yml

on: push
Typecheck
1m 31s
Typecheck
Test
4m 2s
Test
Fit to window
Zoom out
Zoom in