MetaRocq CI

fix: Adjust to main #27

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)

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

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

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

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