MetaRocq CI

Adapt to rocq-prover/rocq#21669 (evaluable_of_global_reference no env arg) #3392

Annotations

2 errors and 10 warnings

The strategy configuration was canceled because "build.dev_4_14-flambda_local" failed

The operation was canceled.

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

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

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