Merge pull request #336555 from tweag/update-pinned-ci-tooling

ci: Update pinned Nixpkgs
2024-08-22 23:55:10 -04:00
parent 606621e190 7aa5bc8043
commit d8603c034f
1 changed files with 2 additions and 2 deletions
@@ -1,4 +1,4 @@
 {
-  "rev": "521d48afa9ae596930a95325529df27fa7135ff5",
-  "sha256": "0a1pa5azw990narsfipdli1wng4nc3vhvrp00hb8v1qfchcq7dc9"
+  "rev": "4de4818c1ffa76d57787af936e8a23648bda6be4",
+  "sha256": "0l3b9jr5ydzqgvd10j12imc9jqb6jv5v2bdi1gyy5cwkwplfay67"
 }