Skip to content

Add job in CI for wasm build#138

Merged
bors[bot] merged 6 commits intomainfrom
add-wasm-ci
Jun 12, 2021
Merged

Add job in CI for wasm build#138
bors[bot] merged 6 commits intomainfrom
add-wasm-ci

Commits

Commits on May 24, 2021