Skip to content

chore: update the Web Assembly CI job to Emscripten 6.0.13 - #16142

Draft
basvandijk wants to merge 14 commits into
leanprover:masterfrom
basvandijk:wasm-emsdk-6
Draft

basvandijk wants to merge 14 commits into
leanprover:masterfrom
basvandijk:wasm-emsdk-6

doc: describe the WebAssembly build of `lean.js`

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