Skip to content

Merge pull request #1035 from proux01/coq_18224 #2715

Merge pull request #1035 from proux01/coq_18224

Merge pull request #1035 from proux01/coq_18224 #2715

Triggered via push March 14, 2024 16:05
Status Success
Total duration 33m 59s
Artifacts

build.yml

on: push
checktodos
5s
checktodos
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

40 warnings
build (dev, 4.14-flambda, opam)
Notation map_length is deprecated since 8.20.
build (dev, 4.14-flambda, opam)
Notation app_length is deprecated since 8.20.
build (dev, 4.14-flambda, opam)
Notation rev_length is deprecated since 8.20.
build (dev, 4.14-flambda, opam)
Notation app_length is deprecated since 8.20.
build (dev, 4.14-flambda, opam)
Notation app_length is deprecated since 8.20.
build (dev, 4.14-flambda, opam)
Notation app_length is deprecated since 8.20.
build (dev, 4.14-flambda, opam)
Notation List.rev_length is deprecated since 8.20.
build (dev, 4.14-flambda, opam)
Notation List.rev_length is deprecated since 8.20.
build (dev, 4.14-flambda, opam)
Notation List.rev_length is deprecated since 8.20.
build (dev, 4.14-flambda, opam)
Notation app_length is deprecated since 8.20.
build (dev, 4.14-flambda, local)
Notation map_length is deprecated since 8.20.
build (dev, 4.14-flambda, local)
Notation app_length is deprecated since 8.20.
build (dev, 4.14-flambda, local)
Notation rev_length is deprecated since 8.20.
build (dev, 4.14-flambda, local)
Notation app_length is deprecated since 8.20.
build (dev, 4.14-flambda, local)
Notation app_length is deprecated since 8.20.
build (dev, 4.14-flambda, local)
Notation app_length is deprecated since 8.20.
build (dev, 4.14-flambda, local)
Notation List.rev_length is deprecated since 8.20.
build (dev, 4.14-flambda, local)
Notation List.rev_length is deprecated since 8.20.
build (dev, 4.14-flambda, local)
Notation List.rev_length is deprecated since 8.20.
build (dev, 4.14-flambda, local)
Notation app_length is deprecated since 8.20.
build (dev, 4.09-flambda, opam)
Notation map_length is deprecated since 8.20.
build (dev, 4.09-flambda, opam)
Notation app_length is deprecated since 8.20.
build (dev, 4.09-flambda, opam)
Notation rev_length is deprecated since 8.20.
build (dev, 4.09-flambda, opam)
Notation app_length is deprecated since 8.20.
build (dev, 4.09-flambda, opam)
Notation app_length is deprecated since 8.20.
build (dev, 4.09-flambda, opam)
Notation app_length is deprecated since 8.20.
build (dev, 4.09-flambda, opam)
Notation List.rev_length is deprecated since 8.20.
build (dev, 4.09-flambda, opam)
Notation List.rev_length is deprecated since 8.20.
build (dev, 4.09-flambda, opam)
Notation List.rev_length is deprecated since 8.20.
build (dev, 4.09-flambda, opam)
Notation app_length is deprecated since 8.20.
build (dev, 4.09-flambda, local)
Notation map_length is deprecated since 8.20.
build (dev, 4.09-flambda, local)
Notation app_length is deprecated since 8.20.
build (dev, 4.09-flambda, local)
Notation rev_length is deprecated since 8.20.
build (dev, 4.09-flambda, local)
Notation app_length is deprecated since 8.20.
build (dev, 4.09-flambda, local)
Notation app_length is deprecated since 8.20.
build (dev, 4.09-flambda, local)
Notation app_length is deprecated since 8.20.
build (dev, 4.09-flambda, local)
Notation List.rev_length is deprecated since 8.20.
build (dev, 4.09-flambda, local)
Notation List.rev_length is deprecated since 8.20.
build (dev, 4.09-flambda, local)
Notation List.rev_length is deprecated since 8.20.
build (dev, 4.09-flambda, local)
Notation app_length is deprecated since 8.20.