Change-Id: I289e133ef64766d4b1a199a26d2eea9db52918a0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12579 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
First shot at generating a dhall FFI standard. Change-Id: I1cdf7eeaa6b2668a49282315f308a8e51abd0cf6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5887 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI