-
Notifications
You must be signed in to change notification settings - Fork 4
Pull requests: leanprover-community/mathlib-ci
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore: use
git checkout --detach when checking out a commit hash
#35
opened May 5, 2026 by
Vierkantor
Contributor
Loading…
fix(olean_diff): report error when PR head oleans are missing
#30
opened May 4, 2026 by
bryangingechen
Contributor
Loading…
feat: add tech debt counter for disabled auxLemma lints
#17
opened Apr 2, 2026 by
kim-em
Contributor
Loading…
ProTip!
no:milestone will show everything without a milestone.