Skip to content
Continuous Verification

TSAN fixes: Refactor mutex handling #687

Sign in to view logs

TSAN fixes: Refactor mutex handling

TSAN fixes: Refactor mutex handling #687

Triggered via pull request March 17, 2026 14:26
@eddyashtoneddyashton
opened #7744
eddyashton:tsan_turmoil
Status Cancelled
Total duration 23s
Artifacts –

ci-verification.yml

on: pull_request
Model Checking - Consistency
21s
Model Checking - Consistency
Counterexamples - Consistency
0s
Counterexamples - Consistency
Simulation - Consistency
0s
Simulation - Consistency
Model Checking - Consensus
0s
Model Checking - Consensus
Simulation - Consensus
0s
Simulation - Consensus
Trace Validation - Consensus
0s
Trace Validation - Consensus
Model Checking - Self-Healing Open
21s
Model Checking - Self-Healing Open
Fit to window
Zoom out
Zoom in

Annotations

8 errors
Trace Validation - Consensus
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7744/merge exists
Model Checking - Self-Healing Open
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7744/merge exists
Model Checking - Consistency
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7744/merge exists
Model Checking - Consensus
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7744/merge exists
Counterexamples - Consistency
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7744/merge exists
Simulation - Consistency
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7744/merge exists
Simulation - Consensus
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7744/merge exists
Continuous Verification
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7744/merge exists