search

jcommelin / queueboard

Mathlib4 review and triage dashboard
https://jcommelin.github.io/queueboard/
Apache License 2.0
3 stars 3 forks source link

chore: update 'just-merge' queue and 'missing-area-label' queue #49

Closed joneugster closed 1 month ago

joneugster commented 1 month ago

untested