Skip to content
CI (Coq, Windows)

Handle rip-relative addressing #4779

Sign in to view logs

Handle rip-relative addressing

Handle rip-relative addressing #4779

Triggered via pull request March 5, 2025 06:21
@JasonGrossJasonGross
synchronize #2029
JasonGross:parse-rip
Status Failure
Total duration 6h 47m 6s
Artifacts 1

coq-windows.yml

on: pull_request
windows
1h 51m
windows
test-standalone
0s
test-standalone
publish-standalone
0s
publish-standalone
windows-check-all
4s
windows-check-all
Fit to window
Zoom out
Zoom in

Annotations

5 errors
windows
Process completed with exit code 1.
windows
Makefile.coq:838: src/StandaloneDebuggingExamples.v
windows
Makefile.coq:838: src/StandaloneDebuggingExamples.v
windows: .src/StandaloneDebuggingExamples.v#L76
The reference Parse.split_code_to_functions was not found in the current environment.
windows-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
timing-files-windows
2.11 MB
sha256:54bc4e9626723294d13abe9ddddb2cb860aef35b1c73caeb3c8d218e82980bef