Merge queue · google-deepmind/formal-conjectures · GitHub

Merge queuemain

3 Queued

Waiting for required checks

feat(site): move WIP banner to comments and votes section

#4928 opened and enqueued by mo271 • enqueued about 2 hours ago • Estimated merge in 1h 36m

Queue entry status details

Queue entry status details

Loading
Waiting for required checks

update documentation on placeholder/stubs

#4966 opened by mo271 and enqueued by Paul-Lez • enqueued about 2 hours ago • Estimated merge in 1h 46m

Queue entry status details

Queue entry status details

Loading
Waiting for required checks

fix(ErdosProblems/1055): IsOfClass must exclude lower classes (p 2 = 13, not 2)

#4988 opened by Kuberwastaken and enqueued by mo271 • enqueued about 1 hour ago • Estimated merge in 1h 57m

Queue entry status details

Queue entry status details

Loading

Estimated time to merge

1h 57m

30 day merge count 98