MetaRocq CI

Adapt to rocq-prover/rocq#21438 (PrimRecord record type + has_eta) #16

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

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