Test coq.9.0.0 in CI.
Passed
Rodolphe Lepigre
created pipeline for commit
efc33ae4
, finished
Related merge request !602 to merge rodolphe/rocq9
2 minutes 49 seconds, queued for 1 seconds