Kim Morrison 2236122411 feat: add build_artifact.py for downloading CI artifacts (#11735) ... This PR adds a standalone script to download pre-built CI artifacts from GitHub Actions. This allows us to quickly switch commits without rebuilding. **Features:** - Downloads artifacts for current HEAD or specified commit (`--sha`) - Caches in `~/.cache/lean_build_artifact/` for reuse - Platform detection (Linux/macOS, x86_64/aarch64) **Usage:** ``` build_artifact.py # Download for current HEAD build_artifact.py --sha abc1234 # Download for specific commit build_artifact.py --clear-cache # Clear cache ``` This is extracted to be shared with `lean-bisect`. 🤖 Prepared with Claude Code Co-authored-by: Claude <noreply@anthropic.com>		2025-12-19 04:09:23 +00:00
..
lib	chore: fix spelling mistakes in non-Lean files (#5430)	2024-09-23 21:11:20 +00:00
apply.lean	fix: deallocation for closures in non default configurations (#11217)	2025-11-17 16:27:20 +00:00
benchReelabRss.lean	test: re-enable re-elab benchmarks and add watchdog re-elab benchmark (#11284)	2025-11-20 22:53:08 +00:00
benchReelabWatchdogRss.lean	test: re-enable re-elab benchmarks and add watchdog re-elab benchmark (#11284)	2025-11-20 22:53:08 +00:00
build_artifact.py	feat: add build_artifact.py for downloading CI artifacts (#11735)	2025-12-19 04:09:23 +00:00
collideProfiles.lean	feat: trace.profiler export to Firefox Profiler (#3801)	2024-04-15 12:13:14 +00:00
diff_changelogs.py	chore(script): fix nightlies... finally?	2018-03-26 16:17:42 +02:00
gen_constants_cpp.py	chore: fix more typos in comments	2023-10-08 14:37:34 -07:00
gen_tokens_cpp.py	chore: fix more typos in comments	2023-10-08 14:37:34 -07:00
issues_summary.sh	feat: script to summarize issues (#3952)	2024-04-24 06:11:07 +00:00
lakefile.toml	feat: module system is no longer experimental (#11637)	2025-12-12 21:20:26 +00:00
lean-toolchain	feat: scripts/Modulize.lean (#10460)	2025-09-24 11:40:17 +00:00
mathlib-bench	feat: move lean-pr-testing-NNNN branches to a fork (#8933)	2025-06-24 03:30:43 +00:00
merge_remote.py	feat: updates to release process for v4.23.0 (#10383)	2025-09-14 23:52:19 +00:00
Modulize.lean	chore: rename String.endPos -> String.rawEndPos (#10853)	2025-10-21 11:25:30 +00:00
patch.sh	fix(script/patch): apply changes	2019-08-09 08:52:49 -07:00
prepare-llvm-linux.sh	chore: CI: fix Linux release jobs (#11424)	2025-11-28 16:27:32 +00:00
prepare-llvm-macos.sh	fix: set LLVM sysroot consistently (#6574)	2025-01-08 12:56:27 +00:00
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	chore: add ./script/rebase-stage0.sh (#3984)	2024-05-02 12:26:25 +00:00
reformat.lean	chore: fix script/reformat.lean	2022-11-28 15:47:17 +01:00
release_checklist.py	chore: run Mathlib's verify_version_tags.py in release_checklist.py (#11392)	2025-11-27 04:10:43 +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: add missing repositories to release_repos.yml (#11668)	2025-12-17 02:33:53 +00:00
release_steps.py	fix: remove obsolete docs directory handling for cslib in release_steps.py (#11649)	2025-12-14 05:15:38 +00:00
Shake.lean	chore: shake: fix handling of meta structure etc (#11701)	2025-12-16 16:28:39 +00:00