Docker-based CI/CD for Rocq/OCaml projects
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914107603550208 |
|---|---|
| author | Martin-Dorel, Érik |
| author_facet | Martin-Dorel, Érik |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_19089 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Docker-based CI/CD for Rocq/OCaml projects Martin-Dorel, Érik Software Engineering D.2.4; K.6.3 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. |
| title | Docker-based CI/CD for Rocq/OCaml projects |
| topic | Software Engineering D.2.4; K.6.3 |
| url | https://arxiv.org/abs/2510.19089 |