Skip to content
CI (Coq, docker, dev)

Reveal nodes on demand rather than up-front #969

Sign in to view logs

Reveal nodes on demand rather than up-front

Reveal nodes on demand rather than up-front #969

Triggered via pull request March 13, 2025 05:49
@JasonGrossJasonGross
synchronize #2059
JasonGross:reveal-nodes-as-needed
Status Failure
Total duration 8h 1m 47s
Artifacts 4

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
4s
docker-check-all
Fit to window
Zoom out
Zoom in

Annotations

3 errors
docker-master
Makefile.coq:814: src/Assembly/Symbolic.v
docker-master
Makefile.coq:814: src/Assembly/Symbolic.v
docker-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
ExtractionHaskell-source-master
6.29 KB
sha256:cad565bec3dd4169525ef65bfd65115594bb108b16449d7678945df92e7c08fd
ExtractionJsOfOCaml-source-master
751 Bytes
sha256:dc91f7fca1edabf9c480ea8823a4827aa394af924227f3fcbd8eff5da89e30fa
ExtractionOCaml-master
5.86 KB
sha256:e90e160e182ae97b8a69045a370ffd3ee9e28fc67269b8d70324dddb721cf499
timing-files-master
1.81 MB
sha256:2190d1e7610b79df2b9fe67be7b25b5cea3d7469a9d1c4ba756fad00c0819d1d