tree 01687d256c8090ad8674e26ab74936f7cb69f6bc
parent b86bfe52915f61c0b1c228d967c42b14627fed5d
author Ebrahim Byagowi <ebrahim@gnu.org> 1591910183 +0430
committer Ebrahim Byagowi <ebrahim@gnu.org> 1591942267 +0430

[ci] raise subset fuzzer cases runner timeout

the bots are either not optimized ones or sanitizer ones so not much value
on trying to optimize them further.