Quinn (Nov 05 2021 at 15:19): Quinn (Nov 05 2021 at 15:19):is .gitlab-ci.yml generation on the roadmap?
Théo Zimmermann (Nov 05 2021 at 18:21):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.
Théo Zimmermann (Nov 05 2021 at 18:21):But generating .gitlab-ci.yml would definitely be a very cool thing!
Théo Zimmermann (Nov 05 2021 at 18:22):Especially given that this is what the Coq repository itself uses as of today.
Last updated: Dec 05 2023 at 11:01 UTC