coq-plugin-template icon indicating copy to clipboard operation
coq-plugin-template copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Update for Dune-Coq 0.8 and Coq 8.17

Open palmskog opened this issue 2 years ago • 4 comments

Experiment with Dune-Coq 0.8 using docker-coq-action CI.

palmskog avatar Jun 22 '23 00:06 palmskog

Thanks @palmskog , looks good to me !

ejgallego avatar Jun 23 '23 09:06 ejgallego

@ejgallego I did some further changes to README.md, are they OK with you?

If things look reasonable, I propose we put this into a branch v8.17 and make that branch the default.

palmskog avatar Jun 24 '23 09:06 palmskog

@ejgallego so can this become the v8.17 branch now, and we set it as default for the repo?

palmskog avatar Jul 13 '23 16:07 palmskog

@ejgallego so can this become the v8.17 branch now, and we set it as default for the repo?

I think so!

We may need to add a known issues part, I'd also keep the changelog.

ejgallego avatar Jul 13 '23 16:07 ejgallego