镜像站点 · 本页由第三方 GitHub 只读镜像提供，非 GitHub 官方站点，不接受任何登录或凭据输入。前往 github.com
Skip to content

Fix VSTHRD104 false positives - #1643

Merged
Andrew Arnott (AArnott) merged 7 commits into
mainfrom
aarnott-fix-vsthrd104-false-positives
Aug 21, 2026
Merged

Fix VSTHRD104 false positives#1643
Andrew Arnott (AArnott) merged 7 commits into
mainfrom
aarnott-fix-vsthrd104-false-positives

Reject condition mutations in completion proofs

6346149
Select commit
Loading
Failed to load commit list.
Azure Pipelines / vs-threading (Linux) succeeded Aug 21, 2026 in 5m 45s

Linux succeeded

0 errors / 0 warnings

View more details on Azure Pipelines