Skip to content
CI (Coq, Arch Linux)

Set array sizes from bounds #623

Sign in to view logs

Set array sizes from bounds

Set array sizes from bounds #623

Triggered via pull request March 12, 2025 01:02
@JasonGrossJasonGross
synchronize #2042
JasonGross:fix-array-size
Status Failure
Total duration 7h 32m 10s
Artifacts 4

coq-archlinux.yml

on: pull_request
archlinux
56m 5s
archlinux
test-standalone
0s
test-standalone
publish-standalone-dry-run
0s
publish-standalone-dry-run
archlinux-check-all
3s
archlinux-check-all
Fit to window
Zoom out
Zoom in

Annotations

5 errors
archlinux
Process completed with exit code 2.
archlinux
Makefile.coq:818: src/Assembly/WithBedrock/SymbolicProofs.v
archlinux
Makefile.coq:818: src/Assembly/WithBedrock/SymbolicProofs.v
archlinux: ./src/Assembly/WithBedrock/SymbolicProofs.v#L118
The reference R_cell64 was not found in the current environment.
archlinux-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
ExtractionHaskell-archlinux
6.29 KB
sha256:90934082f42b7773216095549f1267d7501682c81cd210a7c0d42740155edb5e
ExtractionOCaml-archlinux
5.86 KB
sha256:5852fcb10292be398c65becf3eb5bde8e58d6e43bb438f95fc3dc3fdda83e96c
generated-files-archlinux
4.87 MB
sha256:d5f50dbdee093640a31b1b5563469de33a4bab98bbbf70e3987ca4e158aac027
timing-files-archlinux
1.82 MB
sha256:1794b55e89848eb223fbcd0beb9eb5ff5758ddacdc25b08b7026e019dd0dcde3