Merge pull request #287351 from tweag/update-check-by-name
check-by-name: Update pinned tool
This commit is contained in:
commit
0d23229e11
1 changed files with 2 additions and 2 deletions
|
@ -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"
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue