bot icon indicating copy to clipboard operation
bot copied to clipboard
verified publisher icon coq

enable minimization resumption for non-ci minimization jobs

Open JasonGross opened this issue 3 years ago • 0 comments

Example: https://github.com/coq-community/run-coq-bug-minimizer/issues/2#issuecomment-1031448739

Currently we only resume on ci minimization jobs.

JasonGross avatar Feb 07 '22 16:02 JasonGross