Skip to content
Quint

spec: Add multiplexing of events on step change (#104) #170

Sign in to view logs

spec: Add multiplexing of events on step change (#104)

spec: Add multiplexing of events on step change (#104) #170

Triggered via push December 12, 2023 15:53
@romacromac
pushed 3005a28
main
Status Success
Total duration 5m 33s
Artifacts –

quint.yml

on: push
Typecheck
5m 23s
Typecheck
Test
3m 40s
Test
Fit to window
Zoom out
Zoom in