Merge pull request #288173 from tweag/by-name-update-pin

check-by-name: Update pinned tooling
2024-02-12 23:05:16 +01:00
parent b4f17fb8b0 ea4cd5c63d
commit d26e913a34
1 changed files with 2 additions and 2 deletions
@@ -1,4 +1,4 @@
 {
-  "rev": "f8e2ebd66d097614d51a56a755450d4ae1632df1",
-  "ci-path": "/nix/store/4kv4fyb6x5ivn0qncg7d9i5zhqhzy7bi-nixpkgs-check-by-name"
+  "rev": "d934204a0f8d9198e1e4515dd6fec76a139c87f0",
+  "ci-path": "/nix/store/5fjdmbiziyp47gfc9kmfgvxdlzd6bba1-nixpkgs-check-by-name"
 }