-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: self-evolving/lean-workspace-template
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
build(deps): bump the production-dependencies group across 1 directory with 33 updates
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update javascript code
#35
opened Jul 26, 2026 by
dependabot
Bot
Loading…
Architect-aware conversion: snippet attribute stripping, KaTeX-safe display environments, verbatim, \url
#32
opened Jul 19, 2026 by
lolipopshock
Contributor
Loading…
blueprint-data: memoize axiom collection (hours → minutes on mathlib-scale projects)
#28
opened Jul 19, 2026 by
shannonshen49
Contributor
Loading…
build(deps): bump the ci-dependencies group across 1 directory with 6 updates
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#1
opened Jul 12, 2026 by
dependabot
Bot
Loading…
ProTip!
Exclude everything labeled
bug with -label:bug.