Update CI

[pi8027]

No description provided.

[pi8027]

@gares Hi, can the following error be turned into a warning, so that we can keep compatibility with older versions of Coq?

  # File "./theories/lra.v", line 397, characters 0-15:
  # Error: The command 'Elpi Typecheck' is deprecated (and does nothing) since
  # type checking is now performed by 'Elpi Accumulate'.
  # [elpi.typecheck-syntax,elpi.deprecated,deprecated,elpi,default]

[pi8027]

Or is it broken because of -arg -w -arg +elpi.typecheck in Make?

[gares]

Add a -typecheck-syntax, I think I did that in HB

[pi8027]

I still don't get why it is not a warning but an error by default, but thanks anyway.

[gares]

I changed the default in 2.3.0