diff options
| author | Florian Klink <flokli@flokli.de> | 2023-12-09T17·26+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-12-11T03·59+0000 |
| commit | 01a3c87a3ab1b7df6045f5a32746c340b7e4ad3a (patch) | |
| tree | fb3226f75318cdb7dcfd6a50220cc86868fd55d9 /tools | |
| parent | b14053ae03e4d857c6e77027cfb5c6612e9076bc (diff) | |
chore(tvix): bump criterion to 0.5 r/7146
Change-Id: I28904ca23437b4bb745c0eb1f4eb9ae33e09eb5a Reviewed-on: https://cl.tvl.fyi/c/depot/+/10244 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions