Skip to content
Docker CI

port to Coq 8.18 and later #16

Sign in to view logs

port to Coq 8.18 and later

port to Coq 8.18 and later #16

Triggered via pull request October 14, 2023 19:50
@palmskogpalmskog
opened #18
port-8.18
Status Success
Total duration 2m 53s
Artifacts –

docker-action.yml

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

Annotations

20 warnings
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.
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.