Li-yao Xia pushed new project branch ci at Li-yao Xia / rocq-planet

Li-yao Xia
2024-12-26T19:38:39Z

Li-yao Xia (f81686e2) at 26 Dec 19:38

ci: Upgrade to ocaml 5.2.1

... and 1 more commit