Skip to content
CI (Coq, Alpine)

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start #749

Sign in to view logs

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start #749

Triggered via pull request September 19, 2024 19:04
@JasonGrossJasonGross
opened #1961
JasonGross:less-sed
Status Failure
Total duration 4h 3m 5s
Artifacts 3

coq-alpine.yml

on: pull_request
Matrix: build
Matrix: test-standalone
publish-standalone
0s
publish-standalone
alpine-check-all
0s
alpine-check-all
Fit to window
Zoom out
Zoom in

Annotations

4 errors
alpine-edge
Makefile.standalone:71: src/ExtractionOCaml/WithBedrock/fiat_crypt
alpine-edge
Makefile.standalone:72: src/ExtractionOCaml/WithBedrock/fiat_crypt
alpine-edge
Process completed with exit code 2.
alpine-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-edge Expired
23.5 MB
ExtractionOCaml-edge Expired
187 MB
generated-files-edge Expired
4.87 MB