feat: prepare for removing @[simp] from Sum.forall and Sum.exists #64125
lint_and_suggest_pr.yml
on: pull_request
Lint style
1m 27s
Check all files imported
33s