MetaCoq CI

Adapt to coq/coq#19620 (Global.push_context_set no strict argument) #2856

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 failed