Skip to content
Commit Verification

[Merged by Bors] - chore: update Mathlib dependencies 2026-02-25 #11745

Sign in to view logs

[Merged by Bors] - chore: update Mathlib dependencies 2026-02-25

[Merged by Bors] - chore: update Mathlib dependencies 2026-02-25 #11745

Triggered via pull request February 25, 2026 04:42
@mathlib-update-dependenciesmathlib-update-dependencies[bot]
opened #35749
update-dependencies-bot-use-only
Status Success
Total duration 45s
Artifacts –

commit_verification.yml

on: pull_request
Verify Transient and Automated Commits
42s
Verify Transient and Automated Commits
Fit to window
Zoom out
Zoom in
⚡