Skip to content

Add support for wasm files in assets subdirectory #986

Add support for wasm files in assets subdirectory

Add support for wasm files in assets subdirectory #986

Triggered via pull request September 21, 2024 01:43
Status Failure
Total duration 1h 0m 21s
Artifacts 4

coq-debian.yml

on: pull_request
Matrix: build
Matrix: test-standalone-container
Matrix: test-standalone-host
publish-standalone-dry-run
0s
publish-standalone-dry-run
debian-check-all
0s
debian-check-all
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-sid Expired
6.29 KB
ExtractionJsOfOCaml-sid Expired
751 Bytes
ExtractionOCaml-sid Expired
5.86 KB
generated-files-sid Expired
4.87 MB