Skip to content
Continuous Verification

TSAN fixes: Refactor mutex handling #699

Sign in to view logs

TSAN fixes: Refactor mutex handling

TSAN fixes: Refactor mutex handling #699

Triggered via pull request March 18, 2026 13:16
@eddyashtoneddyashton
synchronize #7744
eddyashton:tsan_turmoil
Status Success
Total duration 1h 21m 8s
Artifacts 1

ci-verification.yml

on: pull_request
Model Checking - Consistency
1m 47s
Model Checking - Consistency
Counterexamples - Consistency
50s
Counterexamples - Consistency
Simulation - Consistency
2m 24s
Simulation - Consistency
Model Checking - Consensus
8m 0s
Model Checking - Consensus
Simulation - Consensus
20m 34s
Simulation - Consensus
Trace Validation - Consensus
6m 13s
Trace Validation - Consensus
Model Checking - Self-Healing Open
1m 13s
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:8a80233d601ae1d01e2edc178e22c2fa5f8b4a1544eba0eaa85e8f6ba72ef0be