Merge pull request #245963 from amjoseph-nixpkgs/pr/linux/kernel/repick

This commit is contained in:
Artturi 2023-08-28 22:37:08 +03:00 committed by GitHub
commit a5bf2567cb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -352,6 +352,9 @@ let
maintainers.thoughtpolice
];
platforms = platforms.linux;
badPlatforms =
lib.optionals (lib.versionOlder version "4.15") [ "riscv32-linux" "riscv64-linux" ] ++
lib.optional (lib.versionOlder version "5.19") "loongarch64-linux";
timeout = 14400; # 4 hours
} // extraMeta;
};