Skip to content

Remove check_mod_loops query and run the checks per-body instead#141883

Merged
bors merged 3 commits intorust-lang:masterfrom
oli-obk:remove-check-mod-loops
Jun 11, 2025
Merged

Remove check_mod_loops query and run the checks per-body instead#141883
bors merged 3 commits intorust-lang:masterfrom
oli-obk:remove-check-mod-loops

Commits