-
Notifications
You must be signed in to change notification settings - Fork 26
Pull requests: kbuzzard/ClassFieldTheory
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore(deps): bump leanprover/lean-action from 1.5.0 to 1.6.0
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#192
opened Sep 1, 2026 by
dependabot
Bot
Loading…
chore(deps): bump actions/checkout from 7.0.0 to 7.0.1
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#191
opened Aug 1, 2026 by
dependabot
Bot
Loading…
chore: Bump
mathlib dependency to v4.33.0-rc2
#189
opened Jul 31, 2026 by
github-actions
Bot
Loading…
ProTip!
Updated in the last three days: updated:>2026-09-05.