Skip to content
CI (Coq, Windows)

Bump rupicola from 59751db to ac90d97 #4948

Sign in to view logs

Bump rupicola from 59751db to ac90d97

Bump rupicola from 59751db to ac90d97 #4948

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

coq-windows.yml

on: pull_request
windows
1h 3m
windows
test-standalone
0s
test-standalone
publish-standalone
0s
publish-standalone
windows-check-all
2s
windows-check-all
Fit to window
Zoom out
Zoom in

Annotations

5 errors
windows
Process completed with exit code 1.
windows
Makefile.coq:838: src/Bedrock/Field/Translation/Parameters/Defaults.v
windows
Makefile.coq:838: src/Bedrock/Field/Translation/Parameters/Defaults.v
windows: .src/Bedrock/Field/Translation/Parameters/Defaults.v#L52
Non exhaustive pattern-matching: no clause found for pattern expr.op1 _ _
windows-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
timing-files-windows Expired
1.93 MB
sha256:99433fb10bb9ad57e49d39e27df7cd689743dd09dfd2ec387e64cfc5b5067571