@Ali Caglayan I can cancel minimization runs but there are three of them: which one should I cancel? https://github.com/coq-community/run-coq-bug-minimizer/actions
Hmm I did not expect that
@Théo Zimmermann it's in the process of switching currently so I think #1028 is the safe one to cancel
the old and the new are the same run
OK. I've sent the cancelation request. It usually takes several minutes before it appears as canceled.
Last updated: Oct 13 2024 at 01:02 UTC