Reveal nodes on demand rather than up-front #4877
Triggered via pull request
March 13, 2025 05:49
JasonGross
Status
Failure
Total duration
7h 58m 22s
Artifacts
1
coq-windows.yml
on: pull_request
Annotations
5 errors
|
windows
Process completed with exit code 1.
|
|
windows
Makefile.coq:838: src/Assembly/Symbolic.v
|
|
windows
Makefile.coq:838: src/Assembly/Symbolic.v
|
|
windows:
.src/Assembly/Symbolic.v#L3682
(in proof split_consts_correct): Attempt to save an incomplete proof
|
|
windows-check-all
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
timing-files-windows
|
1.86 MB |
sha256:5f2674d85665c9a4bc2b9ba77cc0146e641d7c99bc8e5e8dde51c44dbd36f5cd
|
|