Add support for wasm files in assets subdirectory · mit-plv/fiat-crypto@29086d8

Triggered via pull request September 21, 2024 01:43

JasonGross

opened #1966

Status Failure

Total duration 1h 0m 32s

Artifacts 3

coq-archlinux.yml

on: pull_request

2 errors

Process completed with exit code 2.

Process completed with exit code 1.

Produced during runtime

Name	Size
ExtractionHaskell-archlinux Expired	6.29 KB
ExtractionOCaml-archlinux Expired	5.86 KB
generated-files-archlinux Expired	4.89 MB