TSAN fixes: Refactor mutex handling #688
Triggered via pull request
March 17, 2026 14:26
eddyashton
Status
Cancelled
Total duration
5h 11m 27s
Artifacts
1
ci-verification.yml
on: pull_request
Model Checking - Consistency
1m 43s
Counterexamples - Consistency
49s
Simulation - Consistency
2m 5s
Model Checking - Consensus
5h 11m
Simulation - Consensus
20m 28s
Trace Validation - Consensus
6m 14s
Model Checking - Self-Healing Open
1m 21s
Annotations
2 errors
|
Model Checking - 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
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
tlc-trace-validation-consensus
|
14.4 MB |
sha256:219613b276f2c6b0ad0e75083f3ccd78b095f37fb1c9574a6826195309e28e76
|
|