Skip to content
CI (Coq, docker, dev)

Bump rupicola from 59751db to ac90d97 #1040

Sign in to view logs

Bump rupicola from 59751db to ac90d97

Bump rupicola from 59751db to ac90d97 #1040

Triggered via pull request June 4, 2025 08:43
@dependabotdependabot[bot]
opened #2092
dependabot/submodules/rupicola-ac90d97
Status Failure
Total duration 47m 9s
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
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
4s
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:b100ce9d88d641fff3bb12cfcd3a4ecb90b9d54e17370ca3445aca5e8b0add6d
ExtractionJsOfOCaml-source-master Expired
751 Bytes
sha256:cfedf8231d72d77e5a686c0c78a6ed2b320ed74ea4bdcc735bd66353316d8978
ExtractionOCaml-master Expired
5.86 KB
sha256:f630ddb3862b5a3bc4bd3f0cc552efa732ea18d45a89306f441be7c85879fe2c
timing-files-master Expired
1.9 MB
sha256:00367969a34ca011afc140f20ddafbcb0e551b371fab1edfca6b74994cf7c537