Skip to content

Predicate/clause cleanups#157104

Merged
rust-bors[bot] merged 8 commits into
rust-lang:mainfrom
nnethercote:predicate-clause-cleanups
Jul 8, 2026
Merged

Predicate/clause cleanups#157104
rust-bors[bot] merged 8 commits into
rust-lang:mainfrom
nnethercote:predicate-clause-cleanups

Adjust `prove_predicates`/`prove_predicate`

6f34610
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jul 6, 2026 in 37s