Stream: Coq Platform devs & users

Topic: ✔ HoTT opam packages: invalid checksum


view this post on Zulip Michael Soegtrop (Nov 09 2022 at 09:01):

The nightly CI is fine again (modulo one timeout and the Mac issue) - thanks!

view this post on Zulip Notification Bot (Nov 09 2022 at 09:01):

Michael Soegtrop has marked this topic as resolved.


Last updated: Jan 30 2023 at 11:03 UTC