Please note that the creation of the Mac DMG installer does not work any more since the GitHub runners have been updated to macOS 11.7.1 (at least this is the only difference I see). Installing Coq Platform from sources (without creating a DMG installer which is an extra step) as well as the existing released installers work fine.
FTR: the issue was pinpointed in https://github.com/coq/platform/pull/310 , fix is in progress
It is fixed in the main branch! @Enrico Tassi : thanks for finding the root cause!
Michael Soegtrop has marked this topic as resolved.
Last updated: Jun 03 2023 at 03:01 UTC