Skip to content

Make DrCI require audit for reverted PRs#8058

Open
ezyang wants to merge 1 commit into
mainfrom
gh/ezyang/2/head
Open

Make DrCI require audit for reverted PRs#8058
ezyang wants to merge 1 commit into
mainfrom
gh/ezyang/2/head

Commits

Commits on May 8, 2026