Repository navigation
chore: Bump mathlib dependency to d888143 - #905
Open
mathlib-nightly-testing[bot] wants to merge 1 commit into
Open
mathlib-nightly-testing[bot] wants to merge 1 commit into
mathlib-nightly-testing[bot] wants to merge 1 commit into
Conversation
mathlib-nightly-testing
Bot
requested review from
arademaker,
chenson2018,
fmontesi,
kim-em and
sorrachai
as code owners
September 14, 2026 11:17
eric-wieser
approved these changes
Sep 14, 2026
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 37355d3mathlib dependency to fe17e59
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
September 14, 2026 20:16
5618ccb to
c628a08
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to fe17e59mathlib dependency to 78f7ceb
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
2 times, most recently
from
September 16, 2026 20:16
5aa88c1 to
34ae6ee
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 78f7cebmathlib dependency to fcabd43
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
September 18, 2026 20:15
34ae6ee to
2961969
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to fcabd43mathlib dependency to 1f22924
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
September 19, 2026 20:15
2961969 to
3e4d66b
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 1f22924mathlib dependency to dec5b2b
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
September 20, 2026 20:52
3e4d66b to
6d33a75
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to dec5b2bmathlib dependency to 54faafd
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 54faafdmathlib dependency to 2615c5a
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
September 22, 2026 20:15
6d33a75 to
70fefa3
Compare
mathlib-nightly-testing
Bot
requested a review
from SamuelSchlesinger
as a code owner
September 22, 2026 20:15
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
September 23, 2026 20:17
70fefa3 to
b7f1a08
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 2615c5amathlib dependency to 95c90ee
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
September 24, 2026 20:17
b7f1a08 to
eb0bb84
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 95c90eemathlib dependency to 4871404
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
September 26, 2026 20:15
eb0bb84 to
789cbcf
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 4871404mathlib dependency to 8accc04
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
September 27, 2026 20:16
789cbcf to
356ce92
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 8accc04mathlib dependency to b63f6e8
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
September 28, 2026 20:17
356ce92 to
f0ca6b4
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 300d0e5mathlib dependency to 7d6757b
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
October 8, 2026 20:17
1500293 to
e025123
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 7d6757bmathlib dependency to 1d9647a
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 1d9647amathlib dependency to 0a2715a
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
2 times, most recently
from
October 10, 2026 20:14
7763211 to
cd9f9ca
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 0a2715amathlib dependency to 23d4203
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
October 11, 2026 20:16
cd9f9ca to
e454672
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 23d4203mathlib dependency to 051bc08
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
October 12, 2026 20:17
e454672 to
b57ee47
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 051bc08mathlib dependency to 1ce668c
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
October 13, 2026 20:16
b57ee47 to
78c4902
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 1ce668cmathlib dependency to 10f994e
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
October 15, 2026 20:15
78c4902 to
00d5701
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 10f994emathlib dependency to e91b128
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
October 16, 2026 20:14
00d5701 to
27d1e28
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to e91b128mathlib dependency to cfc55fc
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
October 17, 2026 20:13
27d1e28 to
cc9dca9
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to cfc55fcmathlib dependency to fbc1661
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to fbc1661mathlib dependency to bbeef91
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
October 18, 2026 20:15
cc9dca9 to
c54bfd0
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to bbeef91mathlib dependency to a0173d2
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
2 times, most recently
from
October 20, 2026 20:15
b89ba3d to
3d5550a
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to a0173d2mathlib dependency to b6161c3
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
October 21, 2026 20:15
3d5550a to
69ab231
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to b6161c3mathlib dependency to 1015608
…-updates group across 1 directory with 11 updates (#45153) (2026-10-22)
mathlib-nightly-testing
Bot
force-pushed
the
hopscotch/lkg-bump
branch
from
October 22, 2026 20:16
69ab231 to
6445a75
Compare
mathlib-nightly-testing
Bot
changed the title
mathlib dependency to 1015608mathlib dependency to d888143
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Bump
mathlibdependency to d888143: chore(deps): bump the actions-version-updates group across 1 directory with 11 updates (#45153) (2026-10-22)Previously at: 625d891: chore: bump toolchain to v4.36.0-rc1 (#44879) (2026-10-16)
This is an automated dependency bump to the latest commit this project is known to build against (its last-known-good commit).
lake buildwas run against the new commit before this PR was opened and succeeded, so it should be mergeable as-is.Only
lake buildis checked, though — if your own CI does more (linting, failing on warnings, downstream tests, …), run it on this PR before merging.This PR was last updated on 2026-10-22 by this workflow run. It is an automated bump using downstream-reports/open-bump-pr.