Skip to content
CI (Coq, Arch Linux)

Handle rip-relative addressing #556

Sign in to view logs

Handle rip-relative addressing

Handle rip-relative addressing #556

Triggered via pull request March 5, 2025 06:21
@JasonGrossJasonGross
synchronize #2029
JasonGross:parse-rip
Status Failure
Total duration 6h 32m 32s
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
4s
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:4370451f93e69d7728b6859cc085e687c83fe4e938ce7eef20ec98a25cd7a6e1
ExtractionOCaml-archlinux
15.2 MB
sha256:f1fca4a8dc542482f08e0f61e8166b5191fe7857c0b973d8677072d15c0f16d9
generated-files-archlinux
4.87 MB
sha256:557c3d988775c1949ab64b4b228ce11c9dc82b02408aeca9ff3451be426d02d6
timing-files-archlinux
1.95 MB
sha256:bda56a3b2ae3c07ba65b8e2330b8d09cc13d16e050414e79377e333bc57e7467