Skip to content
CI (Coq, Arch Linux)

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start #400

Sign in to view logs

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start #400

test-standalone

test-standalone
succeeded Sep 21, 2024 in 18s