Skip to content
Docker CI

Merge pull request #18 from coq-community/port-8.18 #17

Sign in to view logs

Merge pull request #18 from coq-community/port-8.18

Merge pull request #18 from coq-community/port-8.18 #17

Triggered via push October 14, 2023 19:54
@palmskogpalmskog
pushed 70e4104
master
Status Success
Total duration 2m 57s
Artifacts –

docker-action.yml

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

Annotations

20 warnings
build (coqorg/coq:dev): theories/Q_denumerable.v#L77
Notation Even.odd is deprecated since 8.16.
build (coqorg/coq:dev): theories/Q_denumerable.v#L80
Notation Div2.odd_double is deprecated since 8.16.
build (coqorg/coq:dev): theories/Q_denumerable.v#L80
Notation Div2.odd_double is deprecated since 8.16.
build (coqorg/coq:dev): theories/Q_denumerable.v#L80
Notation Div2.odd_double is deprecated since 8.16.
build (coqorg/coq:dev): theories/Q_denumerable.v#L92
Notation Even.even_odd_dec is deprecated since 8.16.
build (coqorg/coq:dev): theories/Q_denumerable.v#L93
Notation Div2.even_2n is deprecated since 8.16.
build (coqorg/coq:dev): theories/Q_denumerable.v#L92
Notation Even.even_odd_dec is deprecated since 8.16.
build (coqorg/coq:dev): theories/Q_denumerable.v#L93
Notation Div2.even_2n is deprecated since 8.16.
build (coqorg/coq:dev): theories/Q_denumerable.v#L109
Notation Even.even is deprecated since 8.16.
build (coqorg/coq:dev): theories/Q_denumerable.v#L109
Notation Even.odd is deprecated since 8.16.
build (coqorg/coq:8.18): theories/Q_denumerable.v#L77
Notation Even.odd is deprecated since 8.16.
build (coqorg/coq:8.18): theories/Q_denumerable.v#L80
Notation Div2.odd_double is deprecated since 8.16.
build (coqorg/coq:8.18): theories/Q_denumerable.v#L80
Notation Div2.odd_double is deprecated since 8.16.
build (coqorg/coq:8.18): theories/Q_denumerable.v#L80
Notation Div2.odd_double is deprecated since 8.16.
build (coqorg/coq:8.18): theories/Q_denumerable.v#L92
Notation Even.even_odd_dec is deprecated since 8.16.
build (coqorg/coq:8.18): theories/Q_denumerable.v#L93
Notation Div2.even_2n is deprecated since 8.16.
build (coqorg/coq:8.18): theories/Q_denumerable.v#L92
Notation Even.even_odd_dec is deprecated since 8.16.
build (coqorg/coq:8.18): theories/Q_denumerable.v#L93
Notation Div2.even_2n is deprecated since 8.16.
build (coqorg/coq:8.18): theories/Q_denumerable.v#L109
Notation Even.even is deprecated since 8.16.
build (coqorg/coq:8.18): theories/Q_denumerable.v#L109
Notation Even.odd is deprecated since 8.16.