Skip to content

chore: re-enable the Web Assembly CI job - #16135

Draft
basvandijk wants to merge 8 commits into
leanprover:masterfrom
basvandijk:wasm-ci
Draft

basvandijk wants to merge 8 commits into
leanprover:masterfrom
basvandijk:wasm-ci

fix: build the shell library before linking `lean.js`

d190456
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
check-stdlib-flags
succeeded Nov 2, 2026 in 4s