Skip to content

Pin the site to v0.2.10 - #43

Merged
onatozmenn merged 1 commit into
mainfrom
pin-0-2-10
Aug 9, 2026
Merged

Pin the site to v0.2.10#43
onatozmenn merged 1 commit into
mainfrom
pin-0-2-10

Conversation

@onatozmenn

Copy link
Copy Markdown
Contributor

The playground, the diagnostics page and the agents page all run the compiler
in the reader's tab, so pinning is swapping one vendored module for another and
moving every version string that names it.

The module is the artefact release.yml built for the tag, verified against
deed-v0.2.10-checksums.txt before it was committed. The 0.2.9 module is
removed rather than left beside it, so there is one compiler on the site.

Each of the three scripts compares what the module reports to what the page
claims and shows an error instead of an answer when they differ, which is what
keeps a half-finished pin from reading as a working one.

The examples are re-taken from the tag. None of them changed between the two
releases; only the index's version field moved.

Gate: node tools/check.mjs — 72 files, every link resolves, and v0.2.10
loaded and answered about all 29 examples.

The wasm module is the one the release built, checked against
`deed-v0.2.10-checksums.txt` before it was committed, and the 0.2.9 one is
gone rather than left beside it.

Three scripts now carry the pin instead of two: the playground, the diagnostics
page, and the agents page added last week. Each refuses to show anything if the
module it loaded reports a different version than the page claims, so a
half-finished pin is visible rather than quiet.

The example corpus is re-taken from the tag. Nothing in it changed between
0.2.9 and 0.2.10, so only the index's version field moved.

`node tools/check.mjs`: 72 files, every link resolves, and v0.2.10 loaded and
answered about all 29 examples.
@onatozmenn
onatozmenn merged commit b1a32e0 into main Aug 9, 2026
1 check passed
@onatozmenn
onatozmenn deleted the pin-0-2-10 branch August 9, 2026 13:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant