Skip to content
CI (Coq, Windows)

Merge pull request #2037 from JasonGross/shld #4827

Sign in to view logs

Merge pull request #2037 from JasonGross/shld

Merge pull request #2037 from JasonGross/shld #4827

Triggered via push March 11, 2025 03:52
@JasonGrossJasonGross
pushed ab4af3c
master
Status Failure
Total duration 3h 12m 35s
Artifacts 1

coq-windows.yml

on: push
windows
2h 6m
windows
test-standalone
0s
test-standalone
publish-standalone
0s
publish-standalone
windows-check-all
0s
windows-check-all
Fit to window
Zoom out
Zoom in

Annotations

5 errors
windows: .src/Assembly/WithBedrock/Semantics.v#L342
The reference signed was not found in the current environment.
windows
Makefile.coq:838: src/Assembly/WithBedrock/Semantics.v
windows
Makefile.coq:838: src/Assembly/WithBedrock/Semantics.v
windows
Process completed with exit code 1.
windows-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
timing-files-windows
2.17 MB
sha256:9e89d1c2f6ea3d2442bb3e1c287c63b38002a115a00f67ce1f6ab9fdde2c094b