Repository navigation

[GR-72982] Comment Github PR on CI fail - #626

Closed

graalvmbot wants to merge 10 commits into

vcalvez/GR-72982/ci_pr_ping_on_fail

Closed

[GR-72982] Comment Github PR on CI fail#626
graalvmbot wants to merge 10 commits into
masterfrom
vcalvez/GR-72982/ci_pr_ping_on_fail

Commits on Jan 27, 2026
- init github script
  Ariouz
  committed
  0c6d282
- Disable on workflow trigger
  Ariouz
  committed
  cd6d3ed
- Add checks before commenting
  Ariouz
  committed
  11418e8
- Fix user mention
  Ariouz
  committed
  8855d85
- Set author to graalvmbot
  Ariouz
  committed
  810d1b7
- Run after ci unittests
  Ariouz
  committed
  68157c9
- Comment on closed PR
  Ariouz
  committed
  d4816ae
Commits on Jan 28, 2026
- Run in separate workflow triggered on PR close
  Ariouz
  committed
  7972856
- Update graalvmbot login
  Ariouz
  committed
  01be75a
- Fix typo in CI fail comment
  Ariouz
  committed
  1056049