Skip to content
CI (Coq, Windows)

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
windows
12m 14s
publish-standalone
0s
test-standalone
0s
windows-check-all
1s
12m 15s