Skip to content

chore: run more of the test suite on the Web Assembly job - #16191

Draft
basvandijk wants to merge 19 commits into
leanprover:masterfrom
basvandijk:wasm-tests
Draft

chore: run more of the test suite on the Web Assembly job#16191
basvandijk wants to merge 19 commits into
leanprover:masterfrom
basvandijk:wasm-tests

chore: run more of the test suite on the Web Assembly job

e6d9e4f
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 3s