Skip to content
Docker CI

TwoThree: remove dead parameter #45

Sign in to view logs

TwoThree: remove dead parameter

TwoThree: remove dead parameter #45

Re-run triggered September 6, 2024 06:33
@liyishuailiyishuai
871b002
master
Status Success
Total duration 8m 14s
Artifacts 1

docker-action.yml

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

Annotations

100 warnings
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#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.18): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.18): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.18): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.18): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.18): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.18): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:dev): theories/Structures/Monoid.v#L16
Automatically putting MonoidLaws in Prop even though it was declared
build (coqorg/coq:dev): theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:dev): theories/Structures/CoMonadLaws.v#L13
Automatically putting CoMonadLaws in Prop even though it was
build (coqorg/coq:dev): theories/Structures/Foldable.v#L27
Automatically putting FoldableOk in Prop even though it was declared
build (coqorg/coq:dev): theories/Structures/Monad.v#L58
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:dev): theories/Structures/IXMonad.v#L14
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:dev): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:dev): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:dev): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:dev): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
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#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.19): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.19): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.19): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.19): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.19): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.19): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.15): theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.17): 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.17): 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.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#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.15): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.17): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.15): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.17): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.15): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.17): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.15): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.17): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.17): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.15): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.17): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.15): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.15): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
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#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.11): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.11): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.11): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.11): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.11): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
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#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.14): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.14): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.14): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.14): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.14): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.14): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.12): theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.12): theories/Structures/Monad.v#L58
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.12): theories/Structures/IXMonad.v#L14
Declaring a scope implicitly is deprecated; use in advance an
build (coqorg/coq:8.12): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.12): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.12): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.12): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.12): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.12): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.12): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
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#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.13): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.13): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.13): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.13): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.13): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.13): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
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#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.16): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.16): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.16): theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.16): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.16): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
build (coqorg/coq:8.16): theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.

Artifacts

Produced during runtime
Name Size
coqdoc
459 KB