CI (Coq, docker, dev)

Bump rupicola from `59751db` to `4af4dff` #1041

Sign in to view logs

Triggered via pull request June 6, 2025 08:21

dependabot[bot]

opened #2094

dependabot/submodules/rupicola-4af4dff

Status Failure

Total duration 53m 39s

Artifacts 4

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

publish-standalone-dry-run

deploy-js-wasm-of-ocaml

docker-check-all

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:b30e6a142dffe646eb053a59c562cd8cf361f0149ab173f87de41dcc21729ac6`
ExtractionJsOfOCaml-source-master Expired	751 Bytes	`sha256:dd3ca06270de40453ad2996ebd62c2d49f51c264503cba47f84dc99c656c2405`
ExtractionOCaml-master Expired	5.86 KB	`sha256:6b341e0b396ab485e9e7050abb6ddc393008f40aa5f14bbf87a7b7a6858053ea`
timing-files-master Expired	1.9 MB	`sha256:dd979183e2749dbf4e377691c38d4e312e5df25e9f4762782ba4f133d643a270`