fix(deps): bump default Elide runtime to 1.4.0+20260707 (latest nightly)#73
fix(deps): bump default Elide runtime to 1.4.0+20260707 (latest nightly)#73Sam Gammon (sgammon) wants to merge 1 commit into
Conversation
Add the 1.4.0+20260707 entry to ELIDE_VERSIONS (SRI hashes computed from the GitHub release assets for all four platforms) and point DEFAULT_VERSION at it, up from 1.3.6+20260628. Regenerated docs/extensions.md for the new default. Signed-off-by: Sam Gammon <sam@elide.dev>
Sam Gammon (sgammon)
requested review from
a team,
Copilot and
Dario Valdespino (darvld)
There was a problem hiding this comment.
Pull request overview
This PR updates the pinned default Elide runtime nightly version used by rules_elide, and refreshes generated Stardoc docs so the documented elide.install() default stays in sync with the actual default runtime selection.
Changes:
- Added Elide runtime version
1.4.0+20260707to theELIDE_VERSIONSintegrity table with SRI hashes for all supported platforms. - Bumped
DEFAULT_VERSIONto1.4.0+20260707so consumers who don’t specify a version pick up the latest verified nightly. - Regenerated
docs/extensions.mdso the documented defaultelide.install(version=...)matches the code default.
Reviewed changes
Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.
| File | Description |
|---|---|
| elide/private/versions.bzl | Adds the new pinned nightly version + SRI hashes and updates the default runtime version. |
| docs/extensions.md | Updates generated extension docs to reflect the new default version. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Merging this PR will not alter performance
|
| Benchmark | BASE |
HEAD |
Efficiency | |
|---|---|---|---|---|
| ❌ | test_javac_full[elide] |
22 ms | 30.5 ms | -27.94% |
| ⚡ | test_cold[integration] |
2.9 s | 2.6 s | +14.39% |
Tip
Investigate this regression by commenting @codspeedbot fix this regression on this PR, or directly use the CodSpeed MCP with your agent.
Comparing chore/elide-1.4.0-nightly (2b80d7c) with main (9d9c639)
Bumps the pinned default Elide runtime from 1.3.6+20260628 → 1.4.0+20260707 (the latest nightly release).
1.4.0+20260707entry toELIDE_VERSIONSwithsha256-…SRI for all four platforms, computed directly from the GitHub release assets.DEFAULT_VERSIONto1.4.0+20260707.docs/extensions.md(theelide.installdefault version) so docs-freshness passes.sha256-kG1Dko6oW7QpIk5I1MmCYVQFTg/qcmlyFT1xqpAbv58=sha256-U/gK+QL65sIAkCeiG/JaEylYHNJli0+mNJ8EXLhA8xo=sha256-wJhyP+Lijt0VLyTfCYKMDOkhuUVxbDUkn3tXhn33+Yc=sha256-JQiNk43a5XhS1seUHpZP7bD4XkMExwMOCQb34+sMCm0=The
integrationCI job downloads the real pinned artifact, validating the hashes end-to-end. Benchmarks will pick up 1.4.0 automatically (they readDEFAULT_VERSION).