CI

Adapt to https://github.com/coq/coq/pull/19530 #1104

Sign in to view logs

Annotations

10 warnings

"From Coq" has been replaced by "From Stdlib".

Notations "_ = _ :> _" defined at level 70 with arguments constr

Notations "_ = _ :> _" defined at level 70 with arguments constr

Notations "_ = _ :> _" defined at level 70 with arguments constr

Notations "( _ , _ , .. , _ )" defined at level 0 with arguments

Notations "_ : _" defined at level 100 with arguments constr

Notations "_ , _" defined at level 26 with arguments constr

"From Coq" has been replaced by "From Stdlib".

Notations "_ = _ :> _" defined at level 70 with arguments constr

Notations "_ = _ :> _" defined at level 70 with arguments constr

This job succeeded