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.
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.
But Coq's CI uses the coq-makefile target https://github.com/coq/coq/blob/master/dev/ci/ci-aac_tactics.sh
yes
I'll eventually find it
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: Dec 05 2023 at 06:01 UTC