Homu queue - chalk

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.

7 total, 0 approved, 0 rolled up, 0 failed / /

Sort key # Status Mergeable Title Head ref Assignee Approved by Priority Rollup
1 745 yes Add ProjectionTerm JulianKnodt:add_term 0
2 755 yes Solve auto traits for closures (issue #734) shamatar:auto_traits_for_closures 0
3 589 no [WIP] Convert from semantic to syntactic equality nathanwhit:sem-syn 0
4 689 no Implement associated constants detrumi:assoc-const 0
5 694 no Add binders validator flodiebold:binders-check 0
6 733 no Allow tests to override the default closure impls JakobDegen:improved_fn_testing 0
7 736 no Support const evaluation HKalbasi:master 0

Open retry log