search

coq-community / paramcoq

Coq plugin for parametricity [maintainer=@proux01]
Other
44 stars 24 forks source link

use only Docker-based CI for 8.14 #79

Closed palmskog closed 3 years ago

palmskog commented 3 years ago

Since the Docker image with 8.14+rc1 is now out, use only this in the v8.14 branch CI.

proux01 commented 3 years ago

Thanks @palmskog (you were faster than me, I was about to do it ;) )

proux01 commented 3 years ago

@palmskog I just made the releases, I'm unsure of the process for opam packages: should I temporarily put them in extra-dev, or directly in released?

Zimmi48 commented 3 years ago

Yes, that's correct.

proux01 commented 3 years ago

Sorry, which one?

palmskog commented 3 years ago

extra-dev

palmskog commented 3 years ago

But to be extra clear, if there will be a release for 8.13 as well (as I hope there will be), then that should of course go in released.