diff options
| author | Florian Klink <flokli@flokli.de> | 2023-10-09T14·03+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-10-09T14·42+0000 |
| commit | 8222b40d66c41bfe5f661c43ed3ed4ddce3f93e6 (patch) | |
| tree | ca8da49341bdb2ae78646eda07076bfe0fa3085e /tvix/eval/src/warnings.rs | |
| parent | 1dcd6ea6428ead0376ac202e58fbce155efc9e77 (diff) | |
chore(third_party/josh): bump to latest HEAD r/6750
It seems our currently pinned josh commit doesn't seem to support pushing back, and just timeouts when trying to do so. Bump to the latest head, let's see how it works out there. We don't need to pull a more recent rustc, as the nixpkgs rustc seems to be recent enough. Change-Id: I4f6d775df4db13a4537049292edfe969d2bb45ea Reviewed-on: https://cl.tvl.fyi/c/depot/+/9590 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de>
Diffstat (limited to 'tvix/eval/src/warnings.rs')
0 files changed, 0 insertions, 0 deletions