b59561b9b1
GitHub does not allow downloads by clients without a User-Agent set. This changes sets the client User-Agent to "tvix". Change-Id: I829b37e63bcedb5ea785b55eff5b10175f5caaa6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12845 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de> |
||
---|---|---|
.. | ||
benches | ||
src | ||
build.rs | ||
Cargo.toml | ||
default.nix |