is .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.
But generating .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: Oct 13 2024 at 01:02 UTC