search

coq / bot

A (Coq Development Team) bot written in OCaml
MIT License
23 stars 14 forks source link

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

Open JasonGross opened 3 years ago

JasonGross commented 3 years ago

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.

Zimmi48 commented 3 years ago

This should be easy to do.

JasonGross commented 1 year ago

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.

Zimmi48 commented 1 year ago

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