chore: adaptations for nightly-2026-05-04#543
Merged
chenson2018 merged 538 commits intobump/v4.31.0from May 4, 2026
Merged
Commits
This pull request is big! We're only showing the most recent 250 commits
Commits on Jan 30, 2026
- committed
mathlib4-bot - committedmathlib4-bot
- committedmathlib4-bot
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- committedmathlib4-bot
- committedmathlib4-bot
- authored
Commits on Jan 31, 2026
- committedleanprover-community-mathlib4-bot
- committedmathlib4-bot
- authored
Commits on Feb 1, 2026
- committedleanprover-community-mathlib4-bot
Commits on Feb 2, 2026
- committedleanprover-community-mathlib4-bot
Commits on Feb 3, 2026
- committedleanprover-community-mathlib4-bot
- committedmathlib4-bot
- committedmathlib4-bot
- authored
Commits on Feb 4, 2026
![mathlib-nightly-testing[bot]](https://avatars.githubusercontent.com/u/41703605?v=4&size=32){kind=avatar}
Commits on Feb 6, 2026
- committed
- committed
- committed
- committed
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- authored
- committed
Commits on Feb 7, 2026
Commits on Feb 10, 2026
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- authored
Commits on Feb 13, 2026
Commits on Feb 14, 2026
Commits on Feb 15, 2026
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- authored
Commits on Feb 16, 2026
- committed
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- committed
Commits on Feb 17, 2026
Commits on Feb 18, 2026
Commits on Feb 19, 2026
- committed
- committed
- committed
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- committedmathlib4-bot
- committed
- committed
- committed
- committed
Commits on Feb 20, 2026
Commits on Feb 21, 2026
- committed
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- committedmathlib4-bot
- authored
Commits on Feb 23, 2026
- committed
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- authored
Commits on Feb 24, 2026
- committed
- committedmathlib4-bot
- authored
- committed
Commits on Feb 25, 2026
Commits on Feb 27, 2026
- committed
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- authored
- committed
Commits on Feb 28, 2026
Commits on Mar 2, 2026
Commits on Mar 3, 2026
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- authored
Commits on Mar 4, 2026
Commits on Mar 5, 2026
- committed
- committed
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- authored
- committed
Commits on Mar 6, 2026
Commits on Mar 9, 2026
Commits on Mar 12, 2026
Commits on Mar 13, 2026
Commits on Mar 15, 2026
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- authored
Commits on Mar 17, 2026
- committed
- committed
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- authored
- committed
- committed
Commits on Mar 18, 2026
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- authored
Commits on Mar 19, 2026
Commits on Mar 20, 2026
- committed
- committed
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- authored
Commits on Mar 22, 2026
- committed
- committed
- committed
- committedmathlib4-bot
- authored
Commits on Mar 23, 2026
Commits on Mar 24, 2026
- committed
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- authored
Commits on Mar 25, 2026
Commits on Mar 26, 2026
- committed
- committed
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- authored
Commits on Mar 30, 2026
Commits on Apr 1, 2026
Commits on Apr 2, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 3, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 4, 2026
Commits on Apr 5, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 6, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committedmathlib4-bot
- committedmathlib4-bot
- committed
- committed
Commits on Apr 7, 2026
- committed
- committed
- committed
- committedmathlib4-bot
- committed
- committedmathlib4-bot
Commits on Apr 10, 2026
Commits on Apr 12, 2026
Commits on Apr 13, 2026
- committed
- committed
- committedmathlib4-bot
- committed
Commits on Apr 15, 2026
Commits on Apr 16, 2026
Commits on Apr 18, 2026
- committed
- committedmathlib4-bot
Commits on Apr 19, 2026
Commits on Apr 20, 2026
Commits on Apr 21, 2026
Commits on Apr 22, 2026
Commits on Apr 23, 2026
Commits on Apr 24, 2026
Commits on Apr 25, 2026
Commits on Apr 26, 2026
Commits on Apr 27, 2026
Commits on Apr 29, 2026
Commits on Apr 30, 2026
Commits on May 2, 2026
Commits on May 3, 2026
- committed
- committed
- committed
- committed
- committed
- committed