Skip to content
Quint

refactor(spec): new structure for the specs/ directory (#602) #602

Sign in to view logs

refactor(spec): new structure for the specs/ directory (#602)

refactor(spec): new structure for the specs/ directory (#602) #602

Triggered via push December 6, 2024 09:18
@josef-widderjosef-widder
pushed b31b846
main
Status Success
Total duration 5m 50s
Billable time 11m
Artifacts –

quint.yml

on: push
Typecheck
4m 11s
Typecheck
Test
5m 41s
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