Skip to content

Add support for coq 8.18 #3437

Add support for coq 8.18

Add support for coq 8.18 #3437

Build (coqorg/coq:8.18.0-ocaml-4.13.1-flambda)

succeeded Feb 29, 2024 in 15m 20s