CI (Coq, Debian)

bump rupicola #1315

Sign in to view logs

Triggered via pull request June 6, 2025 13:55

synchronize #2098

andres-erbsen:bump-rupicola

Status Failure

Total duration 3h 7m 11s

Artifacts 5

coq-debian.yml

on: pull_request

Matrix: build

Matrix: test-standalone-container

Matrix: test-standalone-host

publish-standalone-dry-run

debian-check-all

Annotations

5 errors

Process completed with exit code 2.

Makefile.coq:818: src/Bedrock/End2End/X25519/GarageDoorTop.v

Makefile.coq:818: src/Bedrock/End2End/X25519/GarageDoorTop.v

debian-sid: ./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".

debian-check-all

Process completed with exit code 1.

Artifacts

Produced during runtime

Name	Size	Digest
ExtractionHaskell-sid Expired	23.8 MB	`sha256:3872b40fc4a95b35b7325e980bab069d075de8565d0effb8e2dc5b25c6f154d8`
ExtractionJsOfOCaml-sid Expired	6.06 MB	`sha256:d8a8076c758d875bdefa7359ace6275eaa55ef4838e84fd56e97070e5ed76dcd`
ExtractionOCaml-sid Expired	403 MB	`sha256:c1e7db67bd9e0a24484b0eb6acb39a42459e6255c6425b6374e7c374b58ba76a`
generated-files-sid Expired	4.88 MB	`sha256:0d17723a6596124343fe33e77a94535d24ebc63bb716788851bf9b06112588bb`
timing-files-sid Expired	2.08 MB	`sha256:8b7a207ff708b21c4da8465744812757072ac25ea019d143736cce7b21161d93`