Skip to content
CI (Coq, Arch Linux)

Actually test more asm functions #605

Sign in to view logs

Actually test more asm functions

Actually test more asm functions #605

Triggered via pull request March 11, 2025 04:06
@JasonGrossJasonGross
opened #2044
JasonGross:more-asm-tests
Status Failure
Total duration 2h 11m 0s
Artifacts 4

coq-archlinux.yml

on: pull_request
archlinux
29m 55s
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

6 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
Makefile.examples:351: Makefile.test-amd64-files.mk
archlinux-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
ExtractionHaskell-archlinux
6.29 KB
sha256:0e367c2d6a42f8ca518e98e6b4dfc137ad80cdf8e3ea42e0a9b1f17573a209dc
ExtractionOCaml-archlinux
5.86 KB
sha256:94d3030b771cee667912df96b841d6b59d14360bab145b799da80990566235c7
generated-files-archlinux
4.89 MB
sha256:2500d33c104628bfa4c378d92829fca90b71e692d82e81aaa8c48e295c67b422
timing-files-archlinux
1.48 MB
sha256:248429d305499c773624ce33e3473adfec0531ece796cc3e51160168fae6bde8