chore: adaptations for nightly-2026-04-07#207

Merged

kim-em merged 13 commits into

bump/v4.31.0from

bump/nightly-2026-04-07

Apr 11, 2026

Commits on Apr 7, 2026

Merge master into nightly-testing
mathlib-nightly-testing[bot]
committed
lake update
kim-em
committed
fix hash command linter
kim-em
committed
fix bad merge
kim-em
committed
fixes
kim-em
committed
fixes
kim-em
committed
unpleasant fix.
kim-em
committed
touch for CI
kim-em
committed
Merge commit '5212dc478426d5caca02fc5aea6df6d211fbdd7e' into bump/nightly-2026-04-06
mathlib4-bot
committed
chore: adaptations for nightly-2026-04-06
mathlib4-bot
committed
chore: bump to nightly-2026-04-07
mathlib-nightly-testing[bot]
committed
Merge commit '939b2837a108267d255e41aece8c6aca29009a2a' into bump/nightly-2026-04-07
mathlib4-bot
committed
chore: adaptations for nightly-2026-04-07
mathlib4-bot
committed