Skip to content
Continuous Verification

Remove dead code #711

Sign in to view logs

Remove dead code

Remove dead code #711

Triggered via pull request April 10, 2026 13:46
@eddyashtoneddyashton
opened #7813
eddyashton:remove_dead_to_remove
Status Success
Total duration 22m 9s
Artifacts 1

ci-verification.yml

on: pull_request
Model Checking - Consistency
1m 49s
Model Checking - Consistency
Counterexamples - Consistency
42s
Counterexamples - Consistency
Simulation - Consistency
2m 21s
Simulation - Consistency
Model Checking - Consensus
8m 11s
Model Checking - Consensus
Simulation - Consensus
21m 51s
Simulation - Consensus
Trace Validation - Consensus
7m 4s
Trace Validation - Consensus
Model Checking - Self-Healing Open
1m 36s
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:ab7e1a7112bfcf755ae55defd3c6a008369e3ec645f5a8c7892a3f8c68d3cdb5