Skip to content
Quint

fix(code/app): Fix bug in test app and example app where proposal parts were not always processed in order of sequence number #876

Sign in to view logs

fix(code/app): Fix bug in test app and example app where proposal parts were not always processed in order of sequence number

fix(code/app): Fix bug in test app and example app where proposal parts were not always processed in order of sequence number #876

Triggered via pull request February 13, 2025 12:34
@romacromac
opened #851
romac/fix-stream-map
Status Success
Total duration 16s
Artifacts –

quint.yml

on: pull_request
Detect changes
4s
Detect changes
Typecheck
0s
Typecheck
Test
0s
Test
Fit to window
Zoom out
Zoom in