Skip to content
Docker CI

add back docker action ci #35

Sign in to view logs

add back docker action ci

add back docker action ci #35

Triggered via push December 30, 2023 00:12
@palmskogpalmskog
pushed 242d1f0
v8.19
Status Success
Total duration 2m 47s
Artifacts –

docker-action.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build (coqorg/coq:8.19): theories/Classes.v#L24
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.19): theories/Classes.v#L93
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.19): theories/Classes.v#L100
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.19): theories/Classes.v#L108
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.19): theories/Classes.v#L117
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.19): theories/Classes.v#L129
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.19): theories/Classes.v#L143
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.19): theories/Functors.v#L38
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.19): theories/Functors.v#L44
A coercion will be introduced instead of an instance in future
build (coqorg/coq:8.19): theories/Functors.v#L73
A coercion will be introduced instead of an instance in future