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: Jun 10 2023 at 23:01 UTC