Skip to content
CI (Coq, Windows)

Bump rupicola from 59751db to 4af4dff #4949

Sign in to view logs

Bump rupicola from 59751db to 4af4dff

Bump rupicola from 59751db to 4af4dff #4949

Triggered via pull request June 6, 2025 08:21
@dependabotdependabot[bot]
opened #2094
dependabot/submodules/rupicola-4af4dff
Status Failure
Total duration 1h 5m 31s
Artifacts 1

coq-windows.yml

on: pull_request
windows
1h 4m
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:665a1506f49305510a3fa7994fa8253e854395fdf5f2457d850eb3959adc1cc6