max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
40408 commits 1 branch 0 tags 5.3 GiB
Commit graph

2 commits

Author SHA1 Message Date
Kim Morrison
8fe068ef68
feat: move lean-pr-testing-NNNN branches to a fork (#8933) 
This PR changes the CI setup to generate `lean-pr-testing-NNNN` branches
for Mathlib on the `leanprover-community/mathlib4-nightly-testing` fork,
rather than on the main repo.
 2025-06-24 03:30:43 +00:00
Sebastian Ullrich
6fcf35e930
chore: script/mathlib-bench (#6280) 
A simple approach to benchmarking lean4 PRs against Mathlib
 2024-12-02 10:00:57 +00:00