perf: optimize CI pipeline: caching, artifact sharing, and fixture reuse #542
perf: optimize CI pipeline: caching, artifact sharing, and fixture reuse #542guha-rahul wants to merge 8 commits intoblockblaz:mainfrom
Conversation
There was a problem hiding this comment.
Pull request overview
Optimizes GitHub Actions CI runtime by upgrading caching infrastructure and adding fixture reuse to avoid regenerating LeanSpec fixtures when inputs haven’t changed.
Changes:
- Upgraded
actions/cacheusage fromv3tov4across workflows. - Added a new cache for
leanSpec/fixturesand conditionally skipped fixture generation on cache hits (CI workflow).
Reviewed changes
Copilot reviewed 3 out of 3 changed files in this pull request and generated 1 comment.
| File | Description |
|---|---|
| .github/workflows/risc0.yml | Upgrades Zig package caching action to actions/cache@v4. |
| .github/workflows/ci.yml | Upgrades Zig cache to v4 and adds LeanSpec fixtures caching + conditional fixture generation. |
| .github/workflows/auto-release.yml | Upgrades Zig package caching action to actions/cache@v4. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
There was a problem hiding this comment.
Pull request overview
Copilot reviewed 3 out of 3 changed files in this pull request and generated no new comments.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
There was a problem hiding this comment.
Pull request overview
Copilot reviewed 1 out of 1 changed files in this pull request and generated 1 comment.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
.github/workflows/ci.yml
Outdated
| restore-keys: | | ||
| ${{ runner.os }}-leanspec- |
There was a problem hiding this comment.
restore-keys is likely counterproductive here: if the primary key doesn’t match, cache-hit will be false and the next step runs uv run fill --clean, which will delete the restored leanSpec/fixtures anyway. This can add time by downloading a large stale cache only to immediately wipe it. Consider removing restore-keys (or dropping --clean if the intent is to reuse partial restores).
| restore-keys: | | |
| ${{ runner.os }}-leanspec- |
…into ci-optimization
This pr
tracks figure and fix the CI long CI runs #385