Skip to content
CI (Coq, Arch Linux)

Bump rupicola from 59751db to 307c633 #717

Sign in to view logs

Bump rupicola from 59751db to 307c633

Bump rupicola from 59751db to 307c633 #717

Triggered via pull request June 2, 2025 09:27
@dependabotdependabot[bot]
opened #2090
dependabot/submodules/rupicola-307c633
Status Failure
Total duration 59m 16s
Artifacts 4

coq-archlinux.yml

on: pull_request
archlinux
59m 1s
archlinux
test-standalone
0s
test-standalone
publish-standalone-dry-run
0s
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/Bedrock/Field/Translation/Parameters/Defaults.v
archlinux
Makefile.coq:818: src/Bedrock/Field/Translation/Parameters/Defaults.v
archlinux: ./src/Bedrock/Field/Translation/Parameters/Defaults.v#L52
Non exhaustive pattern-matching: no clause found for pattern expr.op1 _ _
archlinux-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
ExtractionHaskell-archlinux Expired
6.29 KB
sha256:3a52e9af85feaf047264d77da9a0cfa60ab53c66f427e2747dbba8cfeb42f1e1
ExtractionOCaml-archlinux Expired
5.86 KB
sha256:9a76652eaf16c2c7a613d312949c3ba56e0ff1aaf12c1620f36db4664137373b
generated-files-archlinux Expired
4.87 MB
sha256:b367f8d1a0928a8a70c30ec6e3e798ec33a8b26a16338e270e5be227e5629e9f
timing-files-archlinux Expired
1.9 MB
sha256:55f3e21d112f508cae847e90937b735789fba44a5812e7830e39df99be019692