Kim Morrison 293d1dfd57 chore: improvements to release automation (#9119)		2025-07-01 02:39:10 +00:00
..
lib
apply.lean
bench.sh	chore: move benchmarking script to this repo (#8718)	2025-06-11 12:27:06 +00:00
benchReelabRss.lean	feat: do not export def bodies by default (#8221)	2025-05-15 12:16:54 +00:00
collideProfiles.lean
diff_changelogs.py
gen_constants_cpp.py
gen_tokens_cpp.py
issues_summary.sh
mathlib-bench	feat: move lean-pr-testing-NNNN branches to a fork (#8933)	2025-06-24 03:30:43 +00:00
merge_remote.py
patch.sh
prepare-llvm-linux.sh
prepare-llvm-macos.sh
prepare-llvm-mingw.sh	chore: remove old LEAN_AUTO_THREAD_FINALIZATION workaround (#8885)	2025-06-20 08:52:17 +00:00
push_repo_release_tag.py	feat: further release automation (#9092)	2025-06-30 05:44:10 +00:00
rebase-stage0.sh
reformat.lean
release_checklist.py	chore: improvements to release automation (#9119)	2025-07-01 02:39:10 +00:00
release_notes.py
release_repos.yml
release_steps.py	feat: further release automation (#9114)	2025-06-30 22:28:00 +00:00