Théo Zimmermann (Mar 22 2022 at 14:47): Théo Zimmermann (Mar 22 2022 at 14:47):@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
Ali Caglayan (Mar 22 2022 at 14:48):Hmm I did not expect that
Ali Caglayan (Mar 22 2022 at 14:50):@Théo Zimmermann it's in the process of switching currently so I think #1028 is the safe one to cancel
Ali Caglayan (Mar 22 2022 at 14:50):the old and the new are the same run
Théo Zimmermann (Mar 22 2022 at 14:51):OK. I've sent the cancelation request. It usually takes several minutes before it appears as canceled.
Last updated: Apr 20 2024 at 04:02 UTC