hi @Emilio Jesús Gallego Arias thanks for invite to the Dune plugin template repo: https://github.com/ejgallego/coq-plugin-template
does it need update for 8.16? And what's your views on moving the repo to coq-community organization for more exposure and help from more people to maintain/automate?
ah, nevermind, there was an 8.16 PR now: https://github.com/ejgallego/coq-plugin-template/pull/5
Yup, I did an update now that I got some cycles today in the Coq WG
added CI too, thanks to you for the help
At some point we should merge that with the plugin tutorial, but for now indeed it can help
Last updated: Jun 03 2023 at 15:31 UTC