Stream: MetaCoq

Topic: Updating the default branch


view this post on Zulip Jason Gross (Nov 28 2023 at 19:34):

Can someone with admin bits fix https://github.com/MetaCoq/metacoq/issues/994 by changing the default branch at https://github.com/metacoq/metacoq/settings from coq-8.16 to coq-8.18 ?


Last updated: Jul 23 2024 at 20:01 UTC