Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start #4623
Triggered via pull request
September 20, 2024 20:05
JasonGross
Status
Failure
Total duration
2h 8m 9s
Artifacts
–
coq-windows.yml
on: pull_request
Annotations
2 errors
|
windows
Process completed with exit code 1.
|
|
windows-check-all
Process completed with exit code 1.
|