Skip to content
CI (Coq, MacOS)

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

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 #4650

The logs for this run have expired and are no longer available.