Build software better, together

Merge queuemain

12 Queued

Waiting for required checks

chore(ErdosProblems): put answer(sorry) on the left of the iff

#6689 opened and enqueued by mo271 • enqueued about 2 hours ago • Estimated merge in 27m 1s

Queue entry status details

Queue entry status details

Loading
Waiting for required checks

fix(ErdosProblems/1095): mark erdos_1095.variants.upper_conjecture as solved

#6742 opened and enqueued by mo271 • enqueued 32 minutes ago • Estimated merge in 36m 30s

Queue entry status details

Queue entry status details

Loading
Waiting for required checks

fix(ErdosProblems/1084): mark erdos_1084.variants.triangular_optimal_d2 as solved

#6743 opened and enqueued by mo271 • enqueued 28 minutes ago • Estimated merge in 45m 59s

Queue entry status details

Queue entry status details

Loading
Waiting for required checks

fix(ErdosProblems/357): mark erdos_357.variants.hegyvari as solved

#6744 opened and enqueued by mo271 • enqueued 27 minutes ago • Estimated merge in 55m 28s

Queue entry status details

Queue entry status details

Loading
Waiting for required checks

fix(ErdosProblems/184): erdos_184.variants.covering is true

#6745 opened and enqueued by mo271 • enqueued 27 minutes ago • Estimated merge in 1h 4m

Queue entry status details

Queue entry status details

Loading
Waiting

fix(ErdosProblems/1099): mark the factorial and lcm variants as solved

#6746 opened and enqueued by mo271 • enqueued 26 minutes ago • Estimated merge in 1h 14m

Queue entry status details

Queue entry status details

Loading
Waiting

fix(ErdosProblems/331): erdos_331.variants.ruzsa is true

#6749 opened and enqueued by mo271 • enqueued 2 minutes ago • Estimated merge in 1h 23m

Queue entry status details

Queue entry status details

Loading
Waiting

fix(ErdosProblems/44): erdos_44.variants.empty_start is true

#6750 opened and enqueued by mo271 • enqueued 2 minutes ago • Estimated merge in 1h 33m

Queue entry status details

Queue entry status details

Loading
Waiting

fix(ErdosProblems/80): erdos_80.parts.i is false

#6751 opened and enqueued by mo271 • enqueued 1 minute ago • Estimated merge in 1h 42m

Queue entry status details

Queue entry status details

Loading
Waiting

fix(ErdosProblems/968): the increasing and decreasing triple variants are true

#6752 opened and enqueued by mo271 • enqueued 1 minute ago • Estimated merge in 1h 52m

Queue entry status details

Queue entry status details

Loading
Waiting

fix(ErdosProblems/1106): erdos_1106.parts.i is true

#6753 opened and enqueued by mo271 • enqueued 1 minute ago • Estimated merge in 2h 1m

Queue entry status details

Queue entry status details

Loading
Waiting

fix(GreensOpenProblems/14): W_3_29_eq and W_3_30_eq are false

#6754 opened and enqueued by mo271 • enqueued less than a minute ago • Estimated merge in 2h 11m

Queue entry status details

Queue entry status details

Loading

Estimated time to merge

2h 11m

30 day merge count 624

Navigation Menu

Merge queuemain

chore(ErdosProblems): put answer(sorry) on the left of the iff

Queue entry status details

Uh oh!

fix(ErdosProblems/1095): mark `erdos_1095.variants.upper_conjecture` as solved

Queue entry status details

Uh oh!

fix(ErdosProblems/1084): mark `erdos_1084.variants.triangular_optimal_d2` as solved

Queue entry status details

Uh oh!

fix(ErdosProblems/357): mark `erdos_357.variants.hegyvari` as solved

Queue entry status details

Uh oh!

fix(ErdosProblems/184): `erdos_184.variants.covering` is true

Queue entry status details

Uh oh!

fix(ErdosProblems/1099): mark the factorial and lcm variants as solved

Queue entry status details

Uh oh!

fix(ErdosProblems/331): `erdos_331.variants.ruzsa` is true

Queue entry status details

Uh oh!

fix(ErdosProblems/44): `erdos_44.variants.empty_start` is true

Queue entry status details

Uh oh!

fix(ErdosProblems/80): `erdos_80.parts.i` is false

Queue entry status details

Uh oh!

fix(ErdosProblems/968): the increasing and decreasing triple variants are true

Queue entry status details

Uh oh!

fix(ErdosProblems/1106): `erdos_1106.parts.i` is true

Queue entry status details

Uh oh!

fix(GreensOpenProblems/14): `W_3_29_eq` and `W_3_30_eq` are false

Queue entry status details

Uh oh!