This paper presents three closely-related software projects, namely: docker-coq, docker-coq-action, and docker-keeper. It aims at two objectives: provide a high-level description of the available features -- to foster the use of a Docker-based CI/CD for Rocq (formerly known as Coq) or OCaml projects -- and document the underlying requirements and the main design choices of these three DevOps tools -- to help their future maintainers.
Cite
@article{arxiv.2510.19089,
title = {Docker-based CI/CD for Rocq/OCaml projects},
author = {Érik Martin-Dorel},
journal= {arXiv preprint arXiv:2510.19089},
year = {2025}
}