Skip to content
CI (Coq, Windows)

Parse label-based addressing #4778

Sign in to view logs

Parse label-based addressing

Parse label-based addressing #4778

Triggered via pull request March 5, 2025 06:20
@JasonGrossJasonGross
synchronize #2028
JasonGross:parse-labels
Status Failure
Total duration 5h 57m 43s
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
3s
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:e1470376f2aa6658248349566bed8c47822df7f12170c79c7ed7dbb849de24ec