Skip to content
CI (Coq, Arch Linux)

Parse label-based addressing #555

Sign in to view logs

Parse label-based addressing

Parse label-based addressing #555

Triggered via pull request March 5, 2025 06:20
@JasonGrossJasonGross
synchronize #2028
JasonGross:parse-labels
Status Failure
Total duration 5h 54m 45s
Artifacts 4

coq-archlinux.yml

on: pull_request
archlinux
1h 2m
archlinux
test-standalone
0s
test-standalone
publish-standalone-dry-run
0s
publish-standalone-dry-run
archlinux-check-all
2s
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/StandaloneDebuggingExamples.v
archlinux
Makefile.coq:818: src/StandaloneDebuggingExamples.v
archlinux: ./src/StandaloneDebuggingExamples.v#L76
The reference Parse.split_code_to_functions 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
7.49 MB
sha256:b32bbf0efe3d43d39da75434e4d303dd8814bba9e99f8c03c03eff2bae9abbbe
ExtractionOCaml-archlinux
15.2 MB
sha256:bb199ad48a7354b00da9e46fdf8c3351f15579f2423e7541426487000ae83240
generated-files-archlinux
4.88 MB
sha256:bfe420abf0b41b517f7be15fb096c590216576fef7a8158b7c3327e2e013141f
timing-files-archlinux
1.94 MB
sha256:1a1e15fe724454fc924101326e2325baaa34fc1d7690c20e1d70d4868f10b28b