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 hasalsoa dune file, but CI calls coq-makefile.

I don't think we have any

Last updated: Dec 05 2023 at 06:01 UTC