This will create a new pull request consisting of 0 PRs.
A rollup is useful for shortening the queue, but jumping the queue is unfair to older PRs who have waited too long.
When creating a real rollup, see this instruction for reference.
—
9 total, 0 approved, 0 rolled up, 0 failed / /
| Sort key | # | Status | Mergeable | Title | Head ref | Assignee | Approved by | Priority | Rollup | |
|---|---|---|---|---|---|---|---|---|---|---|
| 1 | 764 | yes | Bump regex from 1.5.4 to 1.5.5 | rust-lang:dependabot/cargo/regex-1.5.5 | 0 | |||||
| 2 | 766 | yes | Bump thread_local from 1.1.3 to 1.1.4 | rust-lang:dependabot/cargo/thread_local-1.1.4 | 0 | |||||
| 3 | 771 | yes | Bump crossbeam-utils from 0.8.5 to 0.8.9 | rust-lang:dependabot/cargo/crossbeam-utils-0.8.9 | 0 | |||||
| 4 | 772 | yes | Split fallible infallible folding | eggyal:split-fallible-infallible-folding | 0 | |||||
| 5 | 589 | no | [WIP] Convert from semantic to syntactic equality | nathanwhit:sem-syn | 0 | |||||
| 6 | 694 | no | Add binders validator | flodiebold:binders-check | 0 | |||||
| 7 | 733 | no | Allow tests to override the default closure impls | JakobDegen:improved_fn_testing | 0 | |||||
| 8 | 736 | no | Support const evaluation | HKalbasi:master | 0 | |||||
| 9 | 745 | no | Add ProjectionTerm | JulianKnodt:add_term | 0 |