Skip to content
CI (Coq, Arch Linux)

Bump rupicola from 59751db to ac90d97 #725

Sign in to view logs

Bump rupicola from 59751db to ac90d97

Bump rupicola from 59751db to ac90d97 #725

Triggered via pull request June 4, 2025 08:43
@dependabotdependabot[bot]
opened #2092
dependabot/submodules/rupicola-ac90d97
Status Failure
Total duration 59m 18s
Artifacts 4

coq-archlinux.yml

on: pull_request
archlinux
59m 6s
archlinux
test-standalone
test-standalone
publish-standalone-dry-run
publish-standalone-dry-run
archlinux-check-all
2s
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:d23d663dbdd75514abb6accba4c824d86b642a700ac125299b6d9c723cd411c7
ExtractionOCaml-archlinux Expired
5.86 KB
sha256:1ed9bbb086eb8a47ad51760a3f7175ce93fa4a82c62394d4d0077dd6cd3f22bc
generated-files-archlinux Expired
4.9 MB
sha256:1f26509abb57e6aea953b01ae6ce3e2fc0d86677aa968124811814cd4e15596d
timing-files-archlinux Expired
1.9 MB
sha256:d4bb16585ae5d6c106e9f1d998b1ac27fa3ab846166b1820bbdde2e999150388