Hacktoberfest 2026: the issues maintainers tagged for October, open and beginner-friendly. Browse Hacktoberfest issues

Add a comment if the CI fails on a PR that is already closed

Open
#609 0 comments 0 reactions 1 assignee View on GitHub

@Ariouz is already working on this.

Since Jan 26, 2026.

Assessment

This issue has not been assessed yet.

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.

Dominant language
Python
Stars
1.6k
Forks
155
Avg merge
8h 58m
Merged PRs (30d)
39

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from oracle/graalpython

All issues in oracle/graalpython

Similar issues

More Python issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.