search

quarkusio / quarkus-github-bot

A Quarkus-powered GitHub App to simplify issues and pull requests management in the Quarkus project.
Apache License 2.0
22 stars 24 forks source link

Handle several workflows #409

Closed gsmet closed 4 months ago

gsmet commented 5 months ago

In Quarkus, we have the documentation workflow and the Quarkus CI workflow and both can fail separately.

If only the documentation workflow fails, we are under the impression that things are OK as the report is green.

We need to fix that somehow. Either by aggregating reports for a given sha or by pushing separate messages (which might be easier but we need to handle things properly).

gsmet commented 5 months ago

See https://github.com/quarkusio/quarkus/pull/38430#issuecomment-1915870706 for an example of this confusion.

gsmet commented 4 months ago

This is now completed.