diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-12T12·24+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-13T11·12+0000 |
commit | 118ac688008593276baa6160b186ba23e5a473de (patch) | |
tree | 38ce2dc3490fa63f42f545ccfea26a1995568cc5 /ops/buildkite | |
parent | 4f67cf221ab4328637025c2b39e43d68a30c6813 (diff) |
feat(corp/tvixbolt): use fancy warning formatting r/4831
Unfortunately the codemap-diagnostic crate doesn't provide a way to get colour control characters written to an arbitrary writer, so this is black & white only, but we can look at this later if we introduce something even fancier. For now it's reasonable. Change-Id: I1c7655cc4b254f77768b5931bc95fa13b3bd7e12 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6533 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'ops/buildkite')
0 files changed, 0 insertions, 0 deletions