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.

翻译：本文介绍了三个紧密关联的软件项目：docker-coq、docker-coq-action与docker-keeper。研究目标包括：提供现有功能的高层描述——以促进基于Docker的持续集成与持续交付在Rocq（原称Coq）或OCaml项目中的应用；同时详细记录这三个DevOps工具的基础需求与核心设计决策——以协助未来的维护工作。