Stream: Coq devs & plugin devs

Topic: ci-coq_library_undecidability broken in CI (metacoq update)


view this post on Zulip Gaëtan Gilbert (Jan 29 2024 at 13:28):

until https://github.com/uds-psl/coq-library-undecidability/pull/216 is merged

view this post on Zulip Gaëtan Gilbert (Jan 29 2024 at 13:30):

it is now merged


Last updated: Oct 13 2024 at 01:02 UTC