Add .ascii, .asciz #1203
Triggered via pull request
March 11, 2025 23:33
JasonGross
Status
Failure
Total duration
3h 53m 25s
Artifacts
5
coq-debian.yml
on: pull_request
Matrix: build
Matrix: test-standalone-container
Matrix: test-standalone-host
debian-check-all
2s
Annotations
5 errors
|
debian-sid
Process completed with exit code 2.
|
|
debian-sid
Makefile.coq:818: src/Assembly/WithBedrock/SymbolicProofs.v
|
|
debian-sid
Makefile.coq:818: src/Assembly/WithBedrock/SymbolicProofs.v
|
|
debian-sid:
./src/Assembly/WithBedrock/SymbolicProofs.v#L1380
The variable v was not found in the current environment.
|
|
debian-check-all
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ExtractionHaskell-sid
|
6.29 KB |
sha256:12a1ad16b1d607e09fb97406371ecb2be37be67faf1382bc28db49c92703e01e
|
|
|
ExtractionJsOfOCaml-sid
|
751 Bytes |
sha256:8266845d714e74c9002da93edbf9b7e14825191baf4e376065a7e83c6308b625
|
|
|
ExtractionOCaml-sid
|
5.86 KB |
sha256:bdf5d529e82d708e28b7af0d0c3b8555389e9ca3c77305e0653a2f8f1760c7fa
|
|
|
generated-files-sid
|
4.85 MB |
sha256:290ab9d23a63bfa4a278d6f2d7adbe5e5dc39bf81c32104d9e00c4338e245081
|
|
|
timing-files-sid
|
1.85 MB |
sha256:c2eac3368051ad9f608bf2d0ef4e1900894cbcf04d56328e4419f0a85640929c
|
|