Skip to content

Do not assert committableIndices of the next state in "replicate", which can cause an error if the log ends on this "replicate". #725

Do not assert committableIndices of the next state in "replicate", which can cause an error if the log ends on this "replicate".

Do not assert committableIndices of the next state in "replicate", which can cause an error if the log ends on this "replicate". #725

Re-run triggered October 21, 2023 22:09
Status Success
Total duration 51m 1s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

tlaplus.yml

on: pull_request
Model Checking - Consensus
2m 36s
Model Checking - Consensus
Simulation - Consensus
50m 50s
Simulation - Consensus
Model Checking - Consistency
2m 21s
Model Checking - Consistency
Counterexamples - Consistency
48s
Counterexamples - Consistency
Simulation - Consistency
6m 16s
Simulation - Consistency
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
tlc Expired
2.6 MB