Adds a "Manage Runners" button to the actions workflow run page for repository admins. This provides quick access to the runners settings page directly from the workflow execution view.
CrossOriginProtection
strictNullChecks
FileTreeItem
git diff-tree
DiffFileTree