mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-22 15:05:51 +00:00
Code Activity

wasm: pin Node.js to v22 instead of lts/* to avoid manifest fetch failures (#10151)

Browse source 
`actions/setup-node` with `node-version: "lts/*"` requires fetching a
version manifest from GitHub's servers to resolve the alias. This
manifest request was returning a GitHub 500 error, causing the `Check`
job to fail at setup.

## Changes
- **`wasm.yml`, `wasm-release.yml`**: Replace `node-version: "lts/*"`
with `node-version: "22"` (current Active LTS), eliminating the remote
manifest lookup entirely.

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
This commit is contained in:
Copilot 2026-07-16 17:34:14 -07:00 • committed by GitHub
parent d722fb1708
commit 8e3402b215
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/wasm-release.yml vendored
View file

@ -26,7 +26,7 @@ jobs:
- name: Setup node
uses: actions/setup-node@v7
with:
node-version: "lts/*"
node-version: "22"
registry-url: "https://registry.npmjs.org"
- name: Prepare for publish