diff --git a/scripts/pinned-tool.json b/scripts/pinned-tool.json index 5b8777c..4ecb86f 100644 --- a/scripts/pinned-tool.json +++ b/scripts/pinned-tool.json @@ -1,4 +1,4 @@ { - "rev": "ae5c332cbb5827f6b1f02572496b141021de335f", - "ci-path": "/nix/store/ghfxriicygwcrxvm45r0cm9g0vshpw01-nixpkgs-check-by-name" + "rev": "f8e2ebd66d097614d51a56a755450d4ae1632df1", + "ci-path": "/nix/store/4kv4fyb6x5ivn0qncg7d9i5zhqhzy7bi-nixpkgs-check-by-name" }