Stream: Coq devs & plugin devs

Topic: ci-template vs ci-template-flambda


view this post on Zulip Jason Gross (Sep 10 2023 at 18:24):

When adding new CI jobs, what's the preferred default template to extend? ci-template? ci-template-flambda?

view this post on Zulip Gaëtan Gilbert (Sep 10 2023 at 20:05):

no preference

view this post on Zulip Emilio Jesús Gallego Arias (Sep 11 2023 at 20:12):

Are the differences documented?


Last updated: May 18 2024 at 08:40 UTC