linux kernel: increase build timeout from 2 to 4 hrs (#47564)

We've recently seen a lot of kernel build timeouts on hydra,
so let's increase the timeout.
This commit is contained in:
xeji 2018-10-01 17:40:29 +02:00 committed by GitHub
parent 902c6a5d03
commit 83fd9785f6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -247,7 +247,7 @@ let
maintainers.thoughtpolice
];
platforms = platforms.linux;
timeout = 7200; # 2 hours
timeout = 14400; # 4 hours
} // extraMeta;
};
in