Skip to content
Continuous Verification

Add support for block-until-commit responses #702

Sign in to view logs

Add support for block-until-commit responses

Add support for block-until-commit responses #702

Triggered via pull request March 18, 2026 16:59
@eddyashtoneddyashton
synchronize #7562
eddyashton:respond_at_commit
Status Success
Total duration 21m 35s
Artifacts 1

ci-verification.yml

on: pull_request
Model Checking - Consistency
1m 48s
Model Checking - Consistency
Counterexamples - Consistency
37s
Counterexamples - Consistency
Simulation - Consistency
2m 8s
Simulation - Consistency
Model Checking - Consensus
8m 14s
Model Checking - Consensus
Simulation - Consensus
21m 29s
Simulation - Consensus
Trace Validation - Consensus
6m 16s
Trace Validation - Consensus
Model Checking - Self-Healing Open
1m 7s
Model Checking - Self-Healing Open
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
tlc-trace-validation-consensus
14.4 MB
sha256:ac0ab62df544d74f5b5c5a522f77a7d03e46d847b8460b3be1548825794bd76a