Kim Morrison abb487a0c0 chore: include lean-lang.org in release checklist (#10450)		2025-09-19 03:46:32 +00:00
..
lib
AnalyzeGrindAnnotations.lean	chore: review of failing grind tests (#10166)	2025-08-28 05:24:31 +00:00
apply.lean
bench.sh	chore: make USE_LAKE the default (#10016)	2025-08-21 11:43:25 +00:00
benchReelabRss.lean
collideProfiles.lean
diff_changelogs.py
gen_constants_cpp.py
gen_tokens_cpp.py
issues_summary.sh
mathlib-bench
merge_remote.py	feat: updates to release process for v4.23.0 (#10383)	2025-09-14 23:52:19 +00:00
patch.sh
prepare-llvm-linux.sh
prepare-llvm-macos.sh
prepare-llvm-mingw.sh
push_repo_release_tag.py
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	chore: update script/release_notes.py for changelog-tactics (#10436)	2025-09-18 07:22:53 +00:00
release_repos.yml	chore: include lean-lang.org in release checklist (#10450)	2025-09-19 03:46:32 +00:00
release_steps.py	chore: include lean-lang.org in release checklist (#10450)	2025-09-19 03:46:32 +00:00