I ran into https://github.com/MetaCoq/metacoq/issues/577#issuecomment-962812639 yesterday, it appears that one of the build phases of metacoq is to rename files into lowercase to prepare for the next build step but this fails on macOS
Last updated: Jun 01 2023 at 12:01 UTC