lint and suggest

feat: prepare for removing @[simp] from Sum.forall and Sum.exists #64125

Sign in to view logs

Triggered via pull request October 31, 2024 11:09

kim-em

opened #18491

unsimp_sum_lemmas

Status Success

Total duration 1m 36s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported