Skip to content

Ping the user who enqueued a PR when it's removed from the merge queue #8980

Ping the user who enqueued a PR when it's removed from the merge queue

Ping the user who enqueued a PR when it's removed from the merge queue #8980

Triggered via pull request October 27, 2026 12:06
Status Success
Total duration 1m 2s
Artifacts 2

__config-export.yml

on: pull_request
Matrix: Config export
Fit to window
Zoom out
Zoom in

Annotations

2 notices
Config export (ubuntu-latest, linked)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Config export (ubuntu-latest, nightly-latest)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

Artifacts

Produced during runtime
Name Size Digest
config-export-ubuntu-latest-linked.sarif.json
82.7 KB
sha256:57324b6cbb9bfcd29e37333347fff8b2f66e227c20b7640183b6d1f3396c2765
config-export-ubuntu-latest-nightly-latest.sarif.json
82.5 KB
sha256:eb41a0f93119791441df5ccb96182bcd1cdeb2be11b69ab86c631a60d1cb7688