Skip to content
Quint

feat(spec): New height logic / fast track (#591) #619

Sign in to view logs

feat(spec): New height logic / fast track (#591)

feat(spec): New height logic / fast track (#591) #619

Triggered via push December 19, 2024 08:35
@romacromac
pushed 9e04f22
main
Status Success
Total duration 7m 7s
Billable time 12m
Artifacts –

quint.yml

on: push
Typecheck
4m 45s
Typecheck
Test
6m 56s
Test
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Typecheck
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636