Skip to content
Quint

fix(code/app): Fix bug in test app and example app where proposal par… #885

Sign in to view logs

fix(code/app): Fix bug in test app and example app where proposal par…

fix(code/app): Fix bug in test app and example app where proposal par… #885

Triggered via push February 14, 2025 13:03
@romacromac
pushed 8e7f30b
main
Status Success
Total duration 6m 30s
Artifacts –

quint.yml

on: push
Detect changes
2s
Detect changes
Typecheck
3m 43s
Typecheck
Test
6m 9s
Test
Fit to window
Zoom out
Zoom in