Skip to content
Docker CI

docs: add v0.12.2 and v0.13.0 #59

Sign in to view logs

docs: add v0.12.2 and v0.13.0

docs: add v0.12.2 and v0.13.0 #59

Triggered via push December 9, 2024 06:14
@liyishuailiyishuai
pushed b27e806
master
Status Failure
Total duration 1h 4m 31s
Artifacts 1

docker-action.yml

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

Annotations

123 warnings
build (coqorg/coq:8.11)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (coqorg/coq:8.11): theories/Data/Eq/UIP_trans.v#L56
Implicit arguments declaration relies on type. Discarding
build (coqorg/coq:8.11): theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.11): theories/Structures/Monad.v#L58
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.11): theories/Structures/IXMonad.v#L14
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.11): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.11): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.11): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.11): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.11): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.11): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.9)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (coqorg/coq:8.12-ocaml-4.10-flambda)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (coqorg/coq:8.12-ocaml-4.10-flambda)
No files were found with the provided path: html. No artifacts will be uploaded.
build (coqorg/coq:8.12-ocaml-4.10-flambda): theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.12-ocaml-4.10-flambda): theories/Structures/Monad.v#L58
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.12-ocaml-4.10-flambda): theories/Structures/IXMonad.v#L14
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.12-ocaml-4.10-flambda): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.12-ocaml-4.10-flambda): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.12-ocaml-4.10-flambda): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.12-ocaml-4.10-flambda): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.12-ocaml-4.10-flambda): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.12-ocaml-4.10-flambda): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.12-ocaml-4.10-flambda): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:dev)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (coqorg/coq:dev): theories/Core/RelDec.v#L1
Coq.Bool.Bool has been replaced by Stdlib.Bool.Bool.
build (coqorg/coq:dev): theories/Core/RelDec.v#L2
Coq.Classes.RelationClasses has been replaced by
build (coqorg/coq:dev): theories/Core/RelDec.v#L3
Coq.Setoids.Setoid has been replaced by Stdlib.Setoids.Setoid.
build (coqorg/coq:dev): theories/Core/EquivDec.v#L1
Coq.Classes has been replaced by Stdlib.Classes.
build (coqorg/coq:dev): theories/Core/Decision.v#L1
Coq.Classes has been replaced by Stdlib.Classes.
build (coqorg/coq:dev): theories/Data/PreFun.v#L1
Coq.Classes has been replaced by Stdlib.Classes.
build (coqorg/coq:dev): theories/Data/PreFun.v#L2
Coq.Relations has been replaced by Stdlib.Relations.
build (coqorg/coq:dev): theories/Data/ListNth.v#L1
Coq.Lists has been replaced by Stdlib.Lists.
build (coqorg/coq:dev): theories/Data/ListNth.v#L2
Coq.Arith has been replaced by Stdlib.Arith.
build (coqorg/coq:dev): theories/Data/ListFirstnSkipn.v#L1
Coq.Lists has been replaced by Stdlib.Lists.
build (coqorg/coq:8.18)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (coqorg/coq:8.18): theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.18): theories/Structures/Monad.v#L58
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.18): theories/Structures/IXMonad.v#L14
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.18): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.18): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.18): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.18): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.18): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.18): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.18): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.20)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (coqorg/coq:8.20): theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.20): theories/Structures/Monad.v#L58
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.20): theories/Structures/IXMonad.v#L14
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.20): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.20): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.20): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.20): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.20): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.20): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.20): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.17)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (coqorg/coq:8.17): theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.17): theories/Structures/Monad.v#L58
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.17): theories/Structures/IXMonad.v#L14
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.17): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.17): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.17): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.17): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.17): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.17): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.17): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.14)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (coqorg/coq:8.14): theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.14): theories/Structures/Monad.v#L58
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.14): theories/Structures/IXMonad.v#L14
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.14): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.14): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.14): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.14): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.14): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.14): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.14): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.16)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (coqorg/coq:8.16): theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.16): theories/Structures/Monad.v#L58
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.16): theories/Structures/IXMonad.v#L14
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.16): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.16): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.16): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.16): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.16): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.16): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.16): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.15)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (coqorg/coq:8.15): theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.15): theories/Structures/Monad.v#L58
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.15): theories/Structures/IXMonad.v#L14
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.15): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.15): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.15): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.15): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.15): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.15): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.15): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.13)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (coqorg/coq:8.13): theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.13): theories/Structures/Monad.v#L58
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.13): theories/Structures/IXMonad.v#L14
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.13): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.13): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.13): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.13): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.13): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.13): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.13): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.19)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (coqorg/coq:8.19): theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.19): theories/Structures/Monad.v#L58
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.19): theories/Structures/IXMonad.v#L14
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.19): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.19): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.19): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.19): theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.19): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.19): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.19): theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.

Artifacts

Produced during runtime
Name Size
coqdoc
395 KB