-
Notifications
You must be signed in to change notification settings - Fork 99
Pull requests: lean-dojo/LeanDojo
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Enable tracing projects in subdirectories of repositories
#227
opened Mar 5, 2025 by
jsimonrichard
Loading…
Add build_deps option to dojo (enables caching with Dojo)
#226
opened Mar 5, 2025 by
jsimonrichard
Loading…
Only switch to the github api when the access token exists
#225
opened Mar 5, 2025 by
jsimonrichard
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.