MetaCoq CI

Merge pull request #1093 from proux01/coq_19310 #2843

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

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

Coq.ssr has been replaced by Stdlib.ssr.

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

This job succeeded