bot
bot copied to clipboard
coq
A (Coq Development Team) bot written in OCaml
See https://github.com/coq/coq/pull/15693#issuecomment-1075206602 The minimizer should not spam the almost minimized files and instead wait for the user to ask about the status. We could have `@coqbot check minimization` or something...
ie it should be possible to do something like `@coqbot minimize good=coq.8.18 bad=coq.dev (some script)` For instance on https://github.com/coq/coq/issues/18593 naive minimization produces bad results.
For future reference: we want to edit https://github.com/coq/bot/blob/master/bot-components/GitHub_mutations.ml and https://github.com/coq/bot/blob/master/bot-components/GitHub_GraphQL.ml and the references are: - https://docs.github.com/en/graphql/reference/mutations#addreaction - https://docs.github.com/en/graphql/reference/input-objects#addreactioninput - https://docs.github.com/en/graphql/reference/enums#reactioncontent
This will make it easier to add more events in the future.
Both `ci minimize ci-foo https://...` and `ci minimize ci-foo [description](url)` are supported.
Salut @Zimmi48 FYI despite the line https://github.com/coq/bot/blob/master/src/actions.ml#L545 over the 49 jobs of docker-mathcomp https://gitlab.inria.fr/math-comp/docker-mathcomp/-/pipelines/833107/ there's always a dozen of jobs that fail, and that we have to retry by hand...
We can probably use https://github.com/actions/upload-artifact/issues/50 / https://docs.github.com/en/free-pro-team@latest/rest/reference/actions#download-an-artifact to get a link to the uploaded artifact(s) from the GH Actions job, and include the URL in the data we send to...
If gitlab is having issues we can end up with no label and no pipeline.
Suggested by @herbelin , I believe, on the feedback survey This plausibly needs some edits on the bug minimizer runner, and we'll need to edit the yml job to have...
The OCaml project has two benchmark suites. One is [Sandmark](https://sandmark.ocamllabs.io/) and the other is the [ocurrent bench](https://autumn.ocamllabs.io/). The OCaml developers would like to have better support for triggering and reporting...
