Skip to content
CI (Coq, docker, dev)

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

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 #688

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

coq-docker.yml

on: pull_request
Matrix: build
Matrix: build-js-of-ocaml
Matrix: build-wasm-of-ocaml
Matrix: generated-files
Matrix: standalone-haskell
Matrix: test-standalone
Matrix: validate
test-amd64
0s
test-amd64
publish-standalone-dry-run
0s
publish-standalone-dry-run
deploy-js-wasm-of-ocaml
0s
deploy-js-wasm-of-ocaml
docker-check-all
0s
docker-check-all
Fit to window
Zoom out
Zoom in

Annotations

3 errors
docker-master
Makefile.standalone:71: src/ExtractionOCaml/WithBedrock/fiat_crypt
docker-master
Makefile.standalone:72: src/ExtractionOCaml/WithBedrock/fiat_crypt
docker-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-source-master Expired
23.5 MB
ExtractionJsOfOCaml-source-master Expired
6.05 MB
ExtractionOCaml-master Expired
430 MB