Skip to content
CI (Coq, Windows)

bump rupicola #4955

Sign in to view logs

bump rupicola

bump rupicola #4955

Triggered via pull request June 6, 2025 13:55
@andres-erbsenandres-erbsen
synchronize #2098
andres-erbsen:bump-rupicola
Status Failure
Total duration 3h 5m 41s
Artifacts 1

coq-windows.yml

on: pull_request
windows
2h 38m
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/Bedrock/End2End/X25519/GarageDoorTop.v
windows
Makefile.coq:838: src/Bedrock/End2End/X25519/GarageDoorTop.v
windows: .src/Bedrock/End2End/X25519/GarageDoorTop.v#L168
The term "eq_refl" has type "true = true" while it is expected to have type "bverify.bvalidInstructions Decode.RV32IM garagedoor_insns = true".
windows-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
timing-files-windows Expired
2.32 MB
sha256:54eb08325f60b0e68e8a7151670b76844c87014665a1e2d79f4fa9937db82c81