Add a comment if the CI fails on a PR that is already closed
Offen
@Ariouz arbeitet bereits daran.
Seit 26.1.2026.
- Vorherrschende Sprache
- Python
- Sterne
- 1.6k
- Forks
- 155
- Ø Merge
- 9 Std. 42 Min.
- Gemergte PRs (30 T.)
- 36
Beschreibung
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.
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Bewertung
Dieses Issue wurde noch nicht bewertet.