Skip to content
CI (Coq, Arch Linux)

Merge pull request #2035 from JasonGross/movabs #606

Sign in to view logs

Merge pull request #2035 from JasonGross/movabs

Merge pull request #2035 from JasonGross/movabs #606

Triggered via push March 11, 2025 04:34
@JasonGrossJasonGross
pushed dcfe2aa
master
Status Failure
Total duration 2h 30m 24s
Artifacts 4

coq-archlinux.yml

on: push
archlinux
30m 30s
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:5e7fcf517ad580c3ab99876e519ee4c085142a84309e91837d656b14ba5d39a3
ExtractionOCaml-archlinux
5.86 KB
sha256:13146172984d454579da584a338a67db50e2d9e5eb2ff674a7918960f3ca529b
generated-files-archlinux
4.9 MB
sha256:0f78ee08e832a3338c6ff57af56b480a0ac556c07a5d2b470ce37f521614d48b
timing-files-archlinux
1.48 MB
sha256:7c69690f7e2b79f024477655390e2ab608a96476bb733f03f113fd0400f9ea3f