bot icon indicating copy to clipboard operation
bot copied to clipboard

Published 20 hours ago • verified publisher icon coq

coqbot minimize should leave a link to the in-progress minimization

Open JasonGross opened this issue 4 years ago • 3 comments

To run the bug minimizer, coqbot creates a branch named run-coq-bug-minimizer-NNNNN. It says something like Hey NAME, the coq bug minimizer is running your script, I'll come back to you with the results once it's done. I'd like it to say something like Hey NAME, the coq bug minimizer is running your script [on GitHub Actions](https://github.com/coq-community/run-coq-bug-minimizer/actions/workflows/main.yml?query=branch%3Arun-coq-bug-minimizer-NNNNN), I'll come back to you with the results once it's done.

JasonGross avatar Mar 15 '21 17:03 JasonGross

This should be easy to do.

Zimmi48 avatar Mar 15 '21 19:03 Zimmi48

How hard would it be to move the branch name generation from bash in https://github.com/coq/bot/blob/6c0433160deb6a400c42c7f33952134d604a59fe/coq_bug_minimizer.sh#L17 https://github.com/coq/bot/blob/6c0433160deb6a400c42c7f33952134d604a59fe/run_ci_minimization.sh#L24 to OCaml? I think this is my main blocker for implementing a solution to this issue.

JasonGross avatar Nov 19 '22 02:11 JasonGross

There are some hints on generating random strings in OCaml here: https://mihamina.rktmb.org/2013/02/ocaml-random-string-and-word-generation.html

Zimmi48 avatar Feb 08 '23 16:02 Zimmi48