Skip to content
CI (Coq, Windows)

Merge pull request #2035 from JasonGross/movabs #4829

Sign in to view logs

Merge pull request #2035 from JasonGross/movabs

Merge pull request #2035 from JasonGross/movabs #4829

Triggered via push March 11, 2025 04:34
@JasonGrossJasonGross
pushed dcfe2aa
master
Status Failure
Total duration 2h 52m 43s
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:0454e649657d8e0fb6d876154cae38be22567a70c60501571ecd31b2730dc645