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, try to be fair to the PRs not rolled up. You may pick one of these strategies:

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

Sort key # Status Mergeable Title Head ref Assignee Approved by Priority Rollup
1 589 yes [WIP] Convert from semantic to syntactic equality nathanwhit:sem-syn 0
2 659 yes Don't create unification goals when we should relate with Invariant jackh726:issue-658 0
3 624 no Pass canonical goals to program clauses code in SLG solver nathanwhit:slg-program-clauses 0
4 633 no Add `DiscriminantKind` builtin trait Areredify:discriminant_kind 0
5 639 no Add TypeFlags for TyKind in chalk-ir chfont:add-type-flags 0

Open retry log