Skip to content
CI (Coq, Arch Linux)

Merge pull request #2037 from JasonGross/shld #604

Sign in to view logs

Merge pull request #2037 from JasonGross/shld

Merge pull request #2037 from JasonGross/shld #604

Triggered via push March 11, 2025 03:52
@JasonGrossJasonGross
pushed ab4af3c
master
Status Failure
Total duration 2h 24m 48s
Artifacts 4

coq-archlinux.yml

on: push
archlinux
30m 41s
archlinux
test-standalone
0s
test-standalone
publish-standalone-dry-run
0s
publish-standalone-dry-run
archlinux-check-all
0s
archlinux-check-all
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size Digest
ExtractionHaskell-archlinux
6.29 KB
sha256:eefc7c41a7aba73076503cfb3336cd732361923cbff4f0b7684ccc35401b9bfd
ExtractionOCaml-archlinux
5.86 KB
sha256:d9eb4e6dc9bafb12cd0045e716adf70664a3e5997ed2488c4c86baf905e5a4a6
generated-files-archlinux
4.9 MB
sha256:f1177ed92d178436eb6d779094449824e30e225c7226203fca68460f769f540a
timing-files-archlinux
1.48 MB
sha256:4af4d9fd3512a9a5b5d3a87e573838681a462269475c818e58b93afcf6a60203