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".

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

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

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

Automatically putting void1 in Prop even though it was declared with

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

Automatically putting PER in Prop even though it was declared with

Automatically putting Preorder in Prop even though it was declared

Automatically putting EquivalenceH in Prop even though it was

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

This job succeeded