CI

Update github actions artifact to version 4.1.7 #1102

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