forked from leanprover-community/mathlib4
-
Notifications
You must be signed in to change notification settings - Fork 0
Insights: leanprover-community/mathlib4-nightly-testing
Overview
-
0 Active issues
-
- 1 Merged pull request
- 2 Open pull requests
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
1 Pull request merged by 1 person
-
chore: fix nightly-testing build
#11 merged
Jul 10, 2025
2 Pull requests opened by 2 people
-
chore: adaptations for leanprover/lean4#8309
#12 opened
Jul 11, 2025 -
Lean pr testing 9304
#13 opened
Jul 12, 2025