MetaRocq CI

Adapt to rocq-prover/rocq#21477 (`Print Assumptions` takes list) #540

Annotations

1 error and 10 warnings

This variant expression is expected to have type Names.GlobRef.t

Postfix notations (i.e. starting with a nonterminal symbol and

Closed notations (i.e. starting and ending with a terminal symbol)

Using "..." is deprecated, use "; auto." instead

Using "..." is deprecated, use "; auto." instead

Use of "Notation" keyword for abbreviations is deprecated, use

Use of "Notation" keyword for abbreviations is deprecated, use

Use of "Notation" keyword for abbreviations is deprecated, use

Postfix notations (i.e. starting with a nonterminal symbol and

Postfix notations (i.e. starting with a nonterminal symbol and

Use of "Notation" keyword for abbreviations is deprecated, use