Skip to content
Docker CI

conc adeq #192

Sign in to view logs

conc adeq

conc adeq #192

Triggered via push March 17, 2025 18:04
@KaptchKaptch
pushed b1fdc24
concurrency
Status Failure
Total duration 6m 45s
Artifacts –

build.yml

on: push
build_nix
3m 4s
build_nix
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 8 warnings
build_nix
Process completed with exit code 1.
build (coqorg/coq:8.17): vendor/Binding/Core.v#L15
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.17): vendor/Binding/Core.v#L37
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.17): vendor/Binding/Core.v#L88
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.17): vendor/Binding/Core.v#L158
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.18): vendor/Binding/Core.v#L15
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.18): vendor/Binding/Core.v#L37
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.18): vendor/Binding/Core.v#L88
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.18): vendor/Binding/Core.v#L158
A coercion will be introduced instead of an instance in future