Skip to content
CI (Coq, docker, dev)

Bump rupicola from 59751db to 9e0facd #1028

Sign in to view logs

Bump rupicola from 59751db to 9e0facd

Bump rupicola from 59751db to 9e0facd #1028

Triggered via pull request May 14, 2025 08:22
@dependabotdependabot[bot]
opened #2087
dependabot/submodules/rupicola-9e0facd
Status Failure
Total duration 50m 37s
Artifacts 4
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coq-docker.yml

on: pull_request
Matrix: build
Matrix: build-js-of-ocaml
Matrix: build-wasm-of-ocaml
Matrix: generated-files
Matrix: standalone-haskell
Matrix: test-standalone
Matrix: validate
test-amd64
0s
test-amd64
publish-standalone-dry-run
0s
publish-standalone-dry-run
deploy-js-wasm-of-ocaml
0s
deploy-js-wasm-of-ocaml
docker-check-all
3s
docker-check-all
Fit to window
Zoom out
Zoom in

Annotations

3 errors
docker-master
Makefile.coq:814: src/Bedrock/Field/Translation/Parameters/Defaults.v
docker-master
Makefile.coq:814: src/Bedrock/Field/Translation/Parameters/Defaults.v
docker-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
ExtractionHaskell-source-master Expired
6.29 KB
sha256:21912e8d41a0470bbf37633b8a490d3d33e0d9b2c6aa6703853f9b07548cb501
ExtractionJsOfOCaml-source-master Expired
751 Bytes
sha256:c6145f786ee21bcfd26bc49373148e4346179edf6b205aba28f1f8ee72426cb6
ExtractionOCaml-master Expired
5.86 KB
sha256:5575edc49b368b0a7764a8d4fdf51834bed9c2191aa1d47d84c2c86e0ed772fc
timing-files-master Expired
1.9 MB
sha256:32e330585d5f4c681aa2e5371b55aaddba27150eedfbdde040da548e35732d10