Skip to content
CI (Coq, Alpine)

Bump rupicola from 59751db to ac90d97 #1101

Sign in to view logs

Bump rupicola from 59751db to ac90d97

Bump rupicola from 59751db to ac90d97 #1101

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

coq-alpine.yml

on: pull_request
Matrix: build
Matrix: test-standalone
publish-standalone
0s
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:1c22381c8ab7e60b783abfd39c99b21b836a8dd4bb2d7c3b4f1a2c6c2e657b44
ExtractionOCaml-edge Expired
5.86 KB
sha256:d6d1f9a633a1d0c29630d500fab433656de8b2dc30863b9f5f18190c20641573
generated-files-edge Expired
4.89 MB
sha256:03583ff383308706f5557c2bd7a7334965319a2fd4ba6331da495af7698f0544
timing-files-edge Expired
1.91 MB
sha256:292ae9a63e925508da50ff2127be2d02f3f6a8321f082e6bc19526c5814504bc