面向 Rocq/OCaml 项目的 Docker 化 CI/CD
软件工程
2025-10-23 v1
摘要
本文介绍了三个紧密相关的软件项目，即 docker-coq、docker-coq-action 和 docker-keeper。旨在两个目标：提供这些可用功能的高层描述——以促进使用基于 Docker 的 CI/CD 进行 Rocq（此前称为 Coq）或 OCaml 项目的开发；以及文档其背后的要求和主要设计选择，以帮助其未来维护者。
引用
@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}
}
备注
26 pages, 17 figures, 3 tables, 16 references