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: Oct 13 2024 at 01:02 UTC