Docker-based CI/CD for Rocq/OCaml projects
\'Erik Martin-Dorel
TL;DR
This paper introduces Docker-based CI/CD tools tailored for Rocq/OCaml projects, detailing their features, design choices, and how they facilitate automated development workflows.
Contribution
It presents three new Docker-based DevOps tools for Rocq/OCaml projects, with detailed documentation of their features and design to support future maintenance.
Findings
Provides high-level feature descriptions of the tools
Documents design choices and requirements
Facilitates adoption of Docker-based CI/CD for Rocq/OCaml
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Engineering and Design Patterns · Advanced Software Engineering Methodologies · Mobile and Web Applications