Skip to content
Long Verification

On recovery, set UVM descriptor SVN to minimum of existing KV value and startup endorsements #5437

Sign in to view logs

On recovery, set UVM descriptor SVN to minimum of existing KV value and startup endorsements

On recovery, set UVM descriptor SVN to minimum of existing KV value and startup endorsements #5437

Triggered via pull request March 6, 2026 14:02
@achamayouachamayou
synchronize #7717
copilot/address-7716
Status Skipped
Total duration 1s
Artifacts –

long-verification.yml

on: pull_request
Model Checking With Atomic Reconfig - Consensus
Model Checking With Atomic Reconfig - Consensus
Model Checking With Reconfig - Consensus
0s
Model Checking With Reconfig - Consensus
Simulation - Consensus
0s
Simulation - Consensus
Fit to window
Zoom out
Zoom in