-
Notifications
You must be signed in to change notification settings - Fork 7
Pull requests: leanprover-community/mathlib-ci
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
docs: update entra-apps.md with crossref-exports app
#58
opened Jun 24, 2026 by
bryangingechen
Contributor
Loading…
docs: some edits to github-apps-setup
#57
opened Jun 24, 2026 by
bryangingechen
Contributor
Loading…
feat: keep the previous Lean declarations diff visible while a new build runs
#56
opened Jun 10, 2026 by
adomani
Contributor
Loading…
feat: Zulip emoji reconciliation core and composite action
#53
opened Jun 4, 2026 by
bryangingechen
Contributor
Loading…
fix: report tech-debt changes by data-row content, not line count
#45
opened May 27, 2026 by
kim-em
Contributor
Loading…
feat: post comments about changes to crossref tags
#44
opened May 27, 2026 by
kim-em
Contributor
Loading…
feat: check PR description begins with "This PR"
#40
opened May 22, 2026 by
kim-em
Contributor
Loading…
fix(olean_diff): report error when PR head oleans are missing
#30
opened May 4, 2026 by
bryangingechen
Contributor
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.