Skip to content

Change filename

Change filename #13195

Triggered via pull request November 18, 2025 01:04
Status Skipped
Total duration 1s
Artifacts

close-bad-repo-sync-prs.yml

on: pull_request_target
Close if invalid repo-sync PR author
0s
Close if invalid repo-sync PR author
Fit to window
Zoom out
Zoom in