Stream: Dune devs & users

Topic: Dune plugin template


view this post on Zulip Karl Palmskog (Jun 15 2022 at 09:30):

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?

view this post on Zulip Karl Palmskog (Jun 15 2022 at 09:31):

ah, nevermind, there was an 8.16 PR now: https://github.com/ejgallego/coq-plugin-template/pull/5

view this post on Zulip Emilio Jesús Gallego Arias (Jun 15 2022 at 09:47):

Yup, I did an update now that I got some cycles today in the Coq WG

view this post on Zulip Emilio Jesús Gallego Arias (Jun 15 2022 at 09:47):

added CI too, thanks to you for the help

view this post on Zulip Emilio Jesús Gallego Arias (Jun 15 2022 at 09:48):

At some point we should merge that with the plugin tutorial, but for now indeed it can help


Last updated: Feb 04 2023 at 02:03 UTC