Skip to content
CI (Coq, Arch Linux)

Parse label-based addressing (#2028) #571

Sign in to view logs

Parse label-based addressing (#2028)

Parse label-based addressing (#2028) #571

Triggered via push March 6, 2025 02:08
@JasonGrossJasonGross
pushed 1f80b2f
master
Status Failure
Total duration 1h 13m 40s
Artifacts 4

coq-archlinux.yml

on: push
archlinux
30m 36s
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/Parse.v#L566
Non exhaustive pattern-matching: no clause found for pattern DIRECTIVE _
archlinux
Makefile.coq:818: src/Assembly/Parse.v
archlinux
Makefile.coq:818: src/Assembly/Parse.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:fab45483b2042878fde41563985d5b3c136925a55b8633f25b73ebfc1677e273
ExtractionOCaml-archlinux
5.86 KB
sha256:1689aef451cd3a8d38e16de9e47061cc04efe6b4e64bc7d7b252dfaf06eb9c99
generated-files-archlinux
4.88 MB
sha256:776d61745836c6b79490c2fa618b73b8e63456693d85957437f89023610ece11
timing-files-archlinux
1.49 MB
sha256:9d5e36383f8b2d3a366fa72bf07c78737705d1845fa7c7813f755eddf1d5b9f3