Skip to content
CI (Coq, Arch Linux)

Bump rupicola from 59751db to 4af4dff #726

Sign in to view logs

Bump rupicola from 59751db to 4af4dff

Bump rupicola from 59751db to 4af4dff #726

Triggered via pull request June 6, 2025 08:21
@dependabotdependabot[bot]
opened #2094
dependabot/submodules/rupicola-4af4dff
Status Failure
Total duration 59m 7s
Artifacts 4

coq-archlinux.yml

on: pull_request
archlinux
58m 52s
archlinux
test-standalone
0s
test-standalone
publish-standalone-dry-run
0s
publish-standalone-dry-run
archlinux-check-all
3s
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:8411b10ca57832a77ba5a30ff28192a38f4732a66adb6be1dd8b37cb5e62f40f
ExtractionOCaml-archlinux Expired
5.86 KB
sha256:a46eccb71eb4b0ced235535103e7ef7775a356ff6968134d694ac64a974f5f3a
generated-files-archlinux Expired
4.91 MB
sha256:3632e320f3a269d3312e46620a097bc031b93f4d87ebf68681373766dd0c0762
timing-files-archlinux Expired
1.9 MB
sha256:c72a2a1a260b4627330539c24a58f11da29454716eb356ba2fcb39a2c7cbc89b