Skip to content

Add support for wasm files in assets subdirectory #987

Add support for wasm files in assets subdirectory

Add support for wasm files in assets subdirectory #987

Triggered via pull request September 21, 2024 02:09
Status Cancelled
Total duration 3h 26m 39s
Artifacts

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
Canceling since a higher priority waiting request for 'CI (Coq, Debian)-sid-wasm-subfolders' exists
debian-check-all
Process completed with exit code 1.