Windows fixes - Githubissues

coq / platform

Multi platform setup for Coq, Coq libraries and tools

Creative Commons Zero v1.0 Universal

188 stars 49 forks source link

Closed MSoegtropIMC closed 11 months ago

MSoegtropIMC commented 11 months ago

This PR contains various fixes for Windows:

disable some 32 bit specific stuff on 64 bit Windows which does not work there any more
shorten path length to enable coq-serapi builds.

MSoegtropIMC commented 11 months ago

The MacOS CI failures are network issues - the Windows CI did run through fine.