Skip to content
CI (Coq, Windows)

Set array sizes from bounds #4822

Sign in to view logs

Set array sizes from bounds

Set array sizes from bounds #4822

Triggered via pull request March 10, 2025 16:56
@JasonGrossJasonGross
synchronize #2042
JasonGross:fix-array-size
Status Failure
Total duration 1h 27m 5s
Artifacts 1

coq-windows.yml

on: pull_request
windows
1h 26m
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/EquivalenceProofs.v#L827
The reference length_map was not found in the current environment.
windows
Makefile.coq:838: src/Assembly/EquivalenceProofs.v
windows
Makefile.coq:838: src/Assembly/EquivalenceProofs.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
1.98 MB
sha256:b8fbabf30534eab84e0f8128786211d3cd4e1f3cfe6d13d03d74a18b6e0357a3