Open Github Action checks in Github Actions extension

Feature Request

When viewing PR checks in the Pull Requests panel, the "Details" button currently opens the GitHub Actions run URL in the browser. It would be great if there was an option (or setting) to instead open the run in the GitHub Actions VS Code extension, keeping the workflow visible within the editor.

Motivation

Many developers already have the GitHub Actions extension installed alongside this one. Switching to the browser to view a workflow run breaks flow — especially when debugging a failing check and jumping between logs and code. A deep link to the Actions extension would keep everything in one place.

Suggested Behavior

When the GitHub Actions extension is installed, the checks "Details" button opens the run in that extension
When it's not installed, fall back to opening the browser (current behavior)
Optionally, a setting like githubPullRequests.checksOpenIn: "browser" | "actionsExtension" to let users choose

Related Issues

• #4815 - GH-actions run overview
• #5805 - Show workflow summary in UI

Start in the Pull Requests panel at the checks "Details" button and trace how it currently opens the GitHub Actions run URL in a browser. Review the GitHub Actions VS Code extension's supported deep-link behavior and the related issues #4815 and #5805. Done means installed extensions can open the run in-editor, while the browser remains the fallback and any setting is honored.