Skip to content

Fix rollback-handling in consistency trace validation - #8133

Open
Amaury Chamayou (achamayou) wants to merge 7 commits into
microsoft:mainfrom
achamayou:achamayou-fix-consistency-trace-rollback
Open

Fix rollback-handling in consistency trace validation#8133
Amaury Chamayou (achamayou) wants to merge 7 commits into
microsoft:mainfrom
achamayou:achamayou-fix-consistency-trace-rollback

Merge branch 'main' into achamayou-fix-consistency-trace-rollback

1213fd1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Counterexamples - Consistency
succeeded Aug 12, 2026 in 40s