Docker-based CI/CD for Rocq/OCaml projects

Érik Martin-Dorel

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 o…