Stream: Coq Platform devs & users

Topic: MacOS DMG package creation since runner update to 11.7.1


view this post on Zulip Michael Soegtrop (Nov 04 2022 at 13:19):

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.

view this post on Zulip Enrico Tassi (Nov 16 2022 at 09:51):

FTR: the issue was pinpointed in https://github.com/coq/platform/pull/310 , fix is in progress

view this post on Zulip Michael Soegtrop (Nov 17 2022 at 20:21):

It is fixed in the main branch! @Enrico Tassi : thanks for finding the root cause!

view this post on Zulip Enrico Tassi (Nov 17 2022 at 20:43):

great thanks!


Last updated: Jan 30 2023 at 10:03 UTC