google / google/fuzzbench

Don't retry builds that timed out.

Open
#339 2 comments 0 reactions 0 assignees View on GitHub
minor enhancement
Dominant language
Python
Stars
1.2k
Forks
302
No merged PRs in 30d

Description

Retrying again is a waste of time.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.