Enrico Tassi (Nov 25 2021 at 15:25): Enrico Tassi (Nov 25 2021 at 15:25):I'm looking for a CI job made of a plugin that builds using dune.
I see for example that bignums has also a dune file, but CI calls coq-makefile.
Karl Palmskog (Nov 25 2021 at 15:28):AAC Tactics Docker CI uses Dune: https://github.com/coq-community/aac-tactics/actions
But maybe you're looking for a plugin in Coq's CI that uses Dune? AAC Tactics uses coq_makefile there.
Enrico Tassi (Nov 25 2021 at 15:30):But Coq's CI uses the coq-makefile target https://github.com/coq/coq/blob/master/dev/ci/ci-aac_tactics.sh
Enrico Tassi (Nov 25 2021 at 15:30):yes
Enrico Tassi (Nov 25 2021 at 15:31):I'll eventually find it
Gaëtan Gilbert (Nov 25 2021 at 16:13):Enrico Tassi said:
I'm looking for a CI job made of a plugin that builds using dune.
I see for example that bignums has also a dune file, but CI calls coq-makefile.
I don't think we have any
Last updated: Apr 20 2024 at 02:40 UTC