Stream: MetaCoq

Topic: sync 8.16 and master branches


view this post on Zulip nicolas tabareau (Apr 03 2023 at 16:02):

how do we keep in sync the 8.16 and master branches ?

view this post on Zulip Matthieu Sozeau (Apr 13 2023 at 10:16):

I have an 8.17 version compiling now https://github.com/MetaCoq/metacoq/actions/runs/4688062275/jobs/8308125558, updating to master will be easier from there


Last updated: Jul 23 2024 at 21:01 UTC