Skip to content
CI (Coq, Alpine)

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

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

alpine-edge

alpine-edge
succeeded Sep 20, 2024 in 2h 55m 15s