Docker-based CI/CD for Rocq/OCaml projects

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.