Skip to content
Format and License Checks

Swapping nextIndex for sentIndex #16642

Sign in to view logs

Swapping nextIndex for sentIndex

Swapping nextIndex for sentIndex #16642

Triggered via pull request January 9, 2024 11:52
@heidihowardheidihoward
synchronize #5897
tla-off-by-one
Status Success
Total duration 2m 4s
Artifacts –

ci-checks.yml

on: pull_request
checks
1m 56s
checks
Fit to window
Zoom out
Zoom in