Skip to content

chore: Bump mathlib dependency to 1d2ba2d#510

Closed
mathlib-nightly-testing[bot] wants to merge 13 commits intomainfrom
hopscotch/lkg-bump
Closed

chore: Bump mathlib dependency to 1d2ba2d#510
mathlib-nightly-testing[bot] wants to merge 13 commits intomainfrom
hopscotch/lkg-bump

Conversation

@mathlib-nightly-testing
Copy link
Copy Markdown
Contributor

@mathlib-nightly-testing mathlib-nightly-testing Bot commented Apr 20, 2026

Bump mathlib dependency to 1d2ba2d: chore: remove implicit-reducible diamond in boolean rings (#38246) (2026-04-19)
Previously at: 5450b53: chore: bump toolchain to v4.30.0-rc2 (#38167) (2026-04-18)

This PR was last updated on 2026-04-20 by this workflow run. It is an automated bump using downstream-reports/open-bump-pr

@github-actions github-actions Bot force-pushed the hopscotch/lkg-bump branch from 7fcbcd8 to db9bace Compare April 20, 2026 22:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants