.gitlab-ci.yml generation on the roadmap?
The roadmap is still pretty limited at the moment for lack of time of both Cyril and me. I think the main point on it at the moment is more docs.
.gitlab-ci.yml would definitely be a very cool thing!
Especially given that this is what the Coq repository itself uses as of today.
Last updated: Jan 29 2023 at 16:02 UTC