Bors merge/delegate follow-up

[Merged by Bors] - chore(Data/Set): add missing `Set.forall_mem_*` lemmas #292215

Sign in to view logs

Triggered via pull request August 16, 2026 14:49

plp127

submitted #42549

Status Skipped

Total duration 1s

Artifacts –

maintainer_bors.yml

on: pull_request_review

Detect bors merge/delegate command