Add a comment if the CI fails on a PR that is already closed
Open
@Ariouz is already working on this.
Since Jan 26, 2026.
- Dominant language
- Python
- Stars
- 1.6k
- Forks
- 155
- Avg merge
- 9h 42m
- Merged PRs (30d)
- 36
Description
We currently have some PRs being mirrored from internal VCS to Github. If a job on such a PR fails that was opened by graalbot, we should probably make sure to ping the Oracle employee who opened the internal PR, e.g. using https://github.com/actions/github-script#comment-on-an-issue - we could do it only if the author is graalvmbot and there's just a single assignee.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.