Skip to content

Revert "fix: make ignored rules fallback (#8706)"#8726

Merged
rgrinberg merged 5 commits intoocaml:mainfrom rgrinberg:remove-ignore-promotion-fixesSep 21, 2023

Commits