Skip to content

Add GitHub PR Bot Commands page to documentation #1454

Add GitHub PR Bot Commands page to documentation

Add GitHub PR Bot Commands page to documentation #1454

Triggered via pull request December 5, 2024 14:59
@marrobimarrobi
opened #4167
Status Success
Total duration 23s
Artifacts

flag_external_pr.yml

on: pull_request_target
Check PR author
12s
Check PR author
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Check PR author
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636