Stream: Coq devs & plugin devs

Topic: [CI] deriving


view this post on Zulip Pierre Roux (Sep 25 2023 at 07:16):

If anyone wants to fix the CI failure on deriving, here it is: https://github.com/coq/coq/pull/18079


Last updated: Jun 17 2024 at 22:01 UTC