Skip to content

Use auto unfold for some Logic operators#1014

Open
oskgo wants to merge 2 commits into
mainfrom
stdlib-auto-unfold
Open

Use auto unfold for some Logic operators#1014
oskgo wants to merge 2 commits into
mainfrom
stdlib-auto-unfold

Merge branch 'main' into stdlib-auto-unfold

6eb4571
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors
check-commit-count
failed Jun 22, 2026 in 3s