Stream: coqbot devs & users

Topic: Minimization


view this post on Zulip 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

view this post on Zulip Ali Caglayan (Mar 22 2022 at 14:48):

Hmm I did not expect that

view this post on Zulip 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

view this post on Zulip Ali Caglayan (Mar 22 2022 at 14:50):

the old and the new are the same run

view this post on Zulip 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: Jan 31 2023 at 10:01 UTC