Stream: t-compiler

Topic: Generate ci.yml with Dhall

Nadrieril (Apr 08 2020 at 11:44, on Zulip):

Hey all! I stumbled upon this file that is used to generate the github-actions ci.yml. This looks a bit of a pain to maintain and potentially error-prone.
The Dhall language was designed for exactly this use-case: avoiding duplication in yaml files, in a robust way. Would you be open to use dhall to generate that file instead of yaml anchors ? I'm asking before I try to write a PR

Nadrieril (Apr 08 2020 at 11:45, on Zulip):

Disclaimer: I am the maintainer of the Rust bindings for Dhall so obviously biased

Nadrieril (Apr 08 2020 at 11:48, on Zulip):

Now that I think about it there might be a ci team or something and maybe this isn't the right place to ask

Nadrieril (Apr 08 2020 at 11:58, on Zulip):

Yup, just found the infra team on discord, sorry for the noise

Last update: May 29 2020 at 17:55UTC