Skip to content
CI (Coq, Alpine)

Bump rupicola from 59751db to 307c633 #1093

Sign in to view logs

Bump rupicola from 59751db to 307c633

Bump rupicola from 59751db to 307c633 #1093

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

coq-alpine.yml

on: pull_request
Matrix: build
Matrix: test-standalone
publish-standalone
publish-standalone
alpine-check-all
2s
alpine-check-all
Fit to window
Zoom out
Zoom in

Annotations

4 errors
alpine-edge
Process completed with exit code 2.
alpine-edge
Makefile.coq:818: src/Bedrock/Field/Translation/Parameters/Defaults.v
alpine-edge
Makefile.coq:818: src/Bedrock/Field/Translation/Parameters/Defaults.v
alpine-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
ExtractionHaskell-edge Expired
6.29 KB
sha256:86df0e0f8b59b3469610f85a6afa03dff1675a1d2cf64e48313b93d062f99089
ExtractionOCaml-edge Expired
5.86 KB
sha256:4fe5a96acde02fc433a8c16fecf83125db14431025462c2c5cf5b792ab865c6c
generated-files-edge Expired
4.88 MB
sha256:37568241e2e6ce4e349159fd152cbdf56ddce97eb2bdf0ec71b46a1f8824de98
timing-files-edge Expired
1.91 MB
sha256:4eedbbc17c9fd00a4ba9d1f0b18f5198fa2a7df2554148d0c8061e5b9cf38088