@Théo Zimmermann I've been finding myself annoyed recently by the repeated coqbot comments on PRs when a CI job in allow failure mode fails. It feels distracting, and I've yet to see it be relevant to the PR commented in. Why is it set up this way?
The plan was to have the piece of info be put in the CI box down, together with all the other CI stuff... but this last improvement did not happen yet.
How would that work? AFAIK we can only put success, failure and ongoing in there and none seem to make sense for allow failure
Putting the allowed failures in the CI box would make a lot of sense, if it is possible.
@Gaëtan Gilbert the "Checks" API is supposedly giving access to more types of results like cancelled, etc. But it is only accessible to GitHub Apps. My intern @Julien Coolen is currently working on making coqbot a proper GitHub App so that we can use this API.
This topic was moved here from #Coq devs & plugin devs > coqbot comments about allowed-failues by Théo Zimmermann
Last updated: Sep 25 2023 at 12:01 UTC