Skip to content
Docker CI

CI should ignore updates to resources directory #30

Sign in to view logs

CI should ignore updates to resources directory

CI should ignore updates to resources directory #30

Triggered via push October 2, 2023 13:31
@palmskogpalmskog
pushed cbdac60
master
Status Success
Total duration 4m 30s
Artifacts –

docker-action.yml

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

Annotations

10 warnings
build (coqorg/coq:dev): theories/Classes.v#L24
A coercion will be introduced instead of an instance in future
build (coqorg/coq:dev): theories/Classes.v#L93
A coercion will be introduced instead of an instance in future
build (coqorg/coq:dev): theories/Classes.v#L100
A coercion will be introduced instead of an instance in future
build (coqorg/coq:dev): theories/Classes.v#L108
A coercion will be introduced instead of an instance in future
build (coqorg/coq:dev): theories/Classes.v#L117
A coercion will be introduced instead of an instance in future
build (coqorg/coq:dev): theories/Classes.v#L129
A coercion will be introduced instead of an instance in future
build (coqorg/coq:dev): theories/Classes.v#L143
A coercion will be introduced instead of an instance in future
build (coqorg/coq:dev): theories/SemiLattice.v#L186
Notation plus_0_r is deprecated since 8.16.
build (coqorg/coq:dev): theories/SemiLattice.v#L186
Notation plus_0_r is deprecated since 8.16.
build (coqorg/coq:dev): theories/SemiLattice.v#L186
Notation plus_0_r is deprecated since 8.16.