Skip to content
Format and License Checks

Swapping nextIndex for sentIndex #16636

Sign in to view logs

Swapping nextIndex for sentIndex

Swapping nextIndex for sentIndex #16636

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

ci-checks.yml

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