Skip to content
Back to pull request #1959

Revert "Also install .wasm.map files" #4624

Sign in to view logs

Revert "Also install .wasm.map files"

Revert "Also install .wasm.map files" #4624

Triggered via pull request September 21, 2024 01:09
@JasonGrossJasonGross
synchronize #1959
revert-1908-install-wasm-map
Status Failure
Total duration 54m 48s
Artifacts –

coq-windows.yml

on: pull_request
windows
12m 25s
windows
test-standalone
0s
test-standalone
publish-standalone
0s
publish-standalone
windows-check-all
0s
windows-check-all
Fit to window
Zoom out
Zoom in

Annotations

2 errors
windows
Process completed with exit code 1.
windows-check-all
Process completed with exit code 1.