CI (Coq, Debian)

Bump rupicola from `59751db` to `9e0facd` #1296

Sign in to view logs

Triggered via pull request May 14, 2025 08:22

dependabot[bot]

opened #2087

dependabot/submodules/rupicola-9e0facd

Status Failure

Total duration 58m 56s

Artifacts 5

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

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/Field/Translation/Parameters/Defaults.v

Makefile.coq:818: src/Bedrock/Field/Translation/Parameters/Defaults.v

debian-sid: ./src/Bedrock/Field/Translation/Parameters/Defaults.v#L52

Non exhaustive pattern-matching: no clause found for pattern expr.op1 _ _

debian-check-all

Process completed with exit code 1.

Artifacts

Produced during runtime

Name	Size	Digest
ExtractionHaskell-sid Expired	6.29 KB	`sha256:9e1357a1d549c8e710015f6d7b078fe64461923bb9ca25d049de32a8555f25d3`
ExtractionJsOfOCaml-sid Expired	751 Bytes	`sha256:1bc045d4cc12028b6714be79f599120ace4c19f8da64803f12af591b56b6966e`
ExtractionOCaml-sid Expired	5.86 KB	`sha256:3f9bb21605919c9b92635bf03bd920dee1974bb134e799e8ed05b46dea7d1018`
generated-files-sid Expired	4.88 MB	`sha256:63a60fde22448257954e174d2d8ced9e9f33db5ce4950ec5c80f04a13de33413`
timing-files-sid Expired	1.9 MB	`sha256:9c53966c1781b772065fbb8db8eb149a8d5ecdf3c45b2ab7bbb516ee6d236d04`