Skip to content
CI (Coq, Windows)

Add support for more assembly #4775

Sign in to view logs

Add support for more assembly

Add support for more assembly #4775

Triggered via pull request March 5, 2025 04:46
@JasonGrossJasonGross
synchronize #2016
JasonGross:more-asm
Status Failure
Total duration 3h 56m 34s
Artifacts 1

coq-windows.yml

on: pull_request
windows
48m 44s
windows
test-standalone
0s
test-standalone
publish-standalone
0s
publish-standalone
windows-check-all
2s
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/Assembly/Parse.v
windows
Makefile.coq:838: src/Assembly/Parse.v
windows: .src/Assembly/Parse.v#L44
The reference list_all 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
1.61 MB
sha256:db84d14f66c6af5b84936f3d756c6a0b942807ac03d7a3c400b51302da508d79