Merge queue · leanprover/lean4 · GitHub

Merge queuemaster

2 Queued

Waiting for required checks

perf: lower latency in bv_decide when waiting for the SAT solver

#14785 opened and enqueued by hargoniX • enqueued 33 minutes ago • Estimated merge in 32m 41s

Queue entry status details

Queue entry status details

Loading
Waiting for required checks

feat: cost metrics for the grind e-matching graph

#14118 opened and enqueued by hargoniX • enqueued 3 minutes ago • Estimated merge in 40m 40s

Queue entry status details

Queue entry status details

Loading

Estimated time to merge

40m 40s

30 day merge count 235