Stream: coq-community devs & users

Topic: hydra-battles and templates


view this post on Zulip Karl Palmskog (Jan 18 2021 at 17:49):

@Théo Zimmermann unfortunately, I believe hydra-battles has way too much customization to be manageable only via the template script. Pierre's latest PR uses the script and removes some useful stuff (e.g., the custom README, overwrites CI yml) How do we handle this (now and longer term)?

view this post on Zulip Karl Palmskog (Jan 18 2021 at 17:50):

I think given what Pierre is trying to do, the need for custom automation can't be fully automated away...

view this post on Zulip Théo Zimmermann (Jan 21 2021 at 09:49):

Sorry for not answering earlier @Karl Palmskog. I agree that this is a problem. We could do without the templates automatic generation but sometimes useful updates in the templates would have to be manually backported. Otherwise, we can try to see what files would be better managed by hand and what files would be better managed automatically with some variables to override what we need to override.

view this post on Zulip Théo Zimmermann (Jan 21 2021 at 09:50):

Note that the use case of a monorepo with several packages is not entirely uncommon now, so we should definitely support it in the templates or even directly in Docker-Coq-Action eventually.

view this post on Zulip Karl Palmskog (Jan 21 2021 at 10:03):

OK, sounds reasonable.


Last updated: Feb 04 2023 at 01:03 UTC