Skip to content
CI (Coq, Arch Linux)

Add --debug-asm-symex-first #581

Sign in to view logs

Add --debug-asm-symex-first

Add --debug-asm-symex-first #581

Triggered via pull request March 6, 2025 22:35
@JasonGrossJasonGross
opened #2036
JasonGross:debug-asm-first
Status Failure
Total duration 1h 42m 38s
Artifacts 4

coq-archlinux.yml

on: pull_request
archlinux
1h 2m
archlinux
test-standalone
test-standalone
publish-standalone-dry-run
publish-standalone-dry-run
archlinux-check-all
4s
archlinux-check-all
Fit to window
Zoom out
Zoom in

Annotations

5 errors
archlinux
Process completed with exit code 2.
archlinux
Makefile.coq:818: src/Assembly/WithBedrock/Proofs.v
archlinux
Makefile.coq:818: src/Assembly/WithBedrock/Proofs.v
archlinux: ./src/Assembly/WithBedrock/Proofs.v#L3382
Failed to progress.
archlinux-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
ExtractionHaskell-archlinux
7.58 MB
sha256:613622a8544f870e551f74f32fca6e4372ae6a40bce931c12a93941662cafc86
ExtractionOCaml-archlinux
5.86 KB
sha256:96d65f5c4de8c7f5d6f07dcf20559dbe202d6a93a1e4b27dced562fedbcd0bec
generated-files-archlinux
4.87 MB
sha256:67b952300b899b25d143f3f5c8ee25f67c65bdbd5e0b98b19fffce1abe041784
timing-files-archlinux
1.94 MB
sha256:bc2c0a4802c180210e8080a71204996c4d29453d40481ec8206c976c499e82f7