search

coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
188 stars 49 forks source link

Update dune to 3.15.3, update OCaml to 4.14.2 #417

Closed MSoegtropIMC closed 4 months ago

MSoegtropIMC commented 5 months ago

This might fix MacOS

MSoegtropIMC commented 4 months ago

I guess this is using Coq Platform for CI? I am about to fix MaxOS CI there and the Windows error shown looks also doable.

MSoegtropIMC commented 4 months ago

Merging despite the CI failures since it definitely makes it better.