max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/.github/workflows
History
Kim Morrison fc0cf68539
fix: make -DLEAN_VERSION_* CMake overrides actually work (#13226) 
This PR updates `release_checklist.py` to handle the `CACHE STRING ""`
suffix on CMake version variables. The `CACHE STRING` format was
introduced in the `releases/v4.30.0` branch, but the script's parsing
wasn't updated to match, causing false failures.

🤖 Prepared with Claude Code

---------

Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>
2026-04-01 05:31:23 +00:00
..
actionlint.yml chore: CI: bump actions/checkout from 5 to 6 (#11459) 2026-01-09 07:43:13 +00:00
awaiting-manual.yml fix: use pull_request_target for label-triggered workflows (#12638) 2026-03-01 19:20:56 +11:00
awaiting-mathlib.yml fix: use pull_request_target for label-triggered workflows (#12638) 2026-03-01 19:20:56 +11:00
backport.yml
build-template.yml fix: rebootstrap cache in github CI (#13143) 2026-03-26 20:50:03 +00:00
check-empty-pr.yml chore: check for empty PRs in CI (#12956) 2026-03-23 03:09:52 +00:00
check-prelude.yml chore: CI: bump actions/checkout from 5 to 6 (#11459) 2026-01-09 07:43:13 +00:00
check-stage0.yml chore: CI: bump actions/checkout from 5 to 6 (#11459) 2026-01-09 07:43:13 +00:00
check-stdlib-flags.yml fix: use pull_request_target for label-triggered workflows (#12638) 2026-03-01 19:20:56 +11:00
ci.yml fix: make -DLEAN_VERSION_* CMake overrides actually work (#13226) 2026-04-01 05:31:23 +00:00
copyright-header.yml chore: CI: bump actions/checkout from 5 to 6 (#11459) 2026-01-09 07:43:13 +00:00
grove.yml chore: ci: bump grove-action to v0.5 (#11559) 2025-12-09 10:33:31 +00:00
jira.yml chore: CI: Jira sync 2024-07-24 19:52:55 +02:00
labels-from-comments.yml feat: add lake-ci label to enable full Lake test suite (#12836) 2026-03-10 03:23:35 +00:00
pr-body.yml fix: use pull_request_target for label-triggered workflows (#12638) 2026-03-01 19:20:56 +11:00
pr-release.yml chore: revert "chore: CI: avoid fetching full repo in PR Release (#12309)" 2026-02-09 13:12:35 +00:00
pr-title.yml chore: adjust pr-title check to enforce capitalization (#11033) 2025-10-31 07:23:25 +00:00
restart-on-label.yml feat: add lake-ci label to enable full Lake test suite (#12836) 2026-03-10 03:23:35 +00:00
stale.yml chore: CI: bump actions/stale from 9 to 10 (#10647) 2025-10-07 11:41:31 +00:00
update-stage0.yml chore: CI: bump actions/cache from 4 to 5 (#11862) 2026-02-03 12:37:56 +00:00