Skip to content
Format and License Checks

Swapping nextIndex for sentIndex #16641

Sign in to view logs

Swapping nextIndex for sentIndex

Swapping nextIndex for sentIndex #16641

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

ci-checks.yml

on: pull_request
checks
2m 16s
checks
Fit to window
Zoom out
Zoom in