[Bug] dev-on-prod-restart failed

[vicsn]

🐛 Bug Report

Note that this was on commit 4b15667 before #4266 was merged, just making sure to document this.

https://app.circleci.com/pipelines/gh/ProvableHQ/snarkOS/3880/workflows/052b1ebc-76be-4ff4-aa26-d88447953274/jobs/80612

[ci-runner] 2026-05-26T05:53:33Z dev-network-first-run: timed out waiting for height advance (final height: 7, target: 17)
[ci-runner] 2026-05-26T05:53:33Z Error at line 175 while running: return 1

Seeing a repeated:

2026-05-26T05:53:31.874638Z  WARN snarkos_node_bft::primary: Cannot sign a batch at round 25 from '127.0.0.1:5003' — Too many previous certificates for round 25 (gc = 0)

[vicsn]

A new issue on snarkOS #3949:
[ci-runner] 2026-06-04T18:31:01Z dev-network-first-run: timed out waiting for height advance (final height: 6, target: 16)
[ci-runner] 2026-06-04T18:31:01Z Error at line 176 while running: return 1

https://app.circleci.com/pipelines/gh/ProvableHQ/snarkOS/3949/workflows/0f6e254e-cc3f-4524-a0d1-87cd29f35a6d/jobs/82166