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!

view this post on Zulip Notification Bot (Nov 18 2022 at 07:56):

Michael Soegtrop has marked this topic as resolved.

Last updated: Jun 03 2023 at 03:01 UTC