Stream: Nix toolbox devs & users

Topic: `.gitlab-ci.yml`


view this post on Zulip Quinn (Nov 05 2021 at 15:19):

is .gitlab-ci.yml generation on the roadmap?

view this post on Zulip 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.

view this post on Zulip Théo Zimmermann (Nov 05 2021 at 18:21):

But generating .gitlab-ci.yml would definitely be a very cool thing!

view this post on Zulip 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: Oct 13 2024 at 01:02 UTC