tree fb685aa4b17a9dc89a8eb2086c71104e2dbb76ae
parent b03b62cb304279195569180061cde745e0c9880a
author Ebrahim Byagowi <ebrahim@gnu.org> 1571938538 +0330
committer Ebrahim Byagowi <ebrahim@gnu.org> 1571949983 +0330

[ci] Use custom subset fuzzer timeout for failing sanitizer bots