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

Comienza en el panel Pull Requests, en el botón "Details" de los checks, y sigue cómo se abre actualmente la GitHub Actions run URL en un navegador. Revisa el comportamiento de deep-link compatible con la GitHub Actions VS Code extension y los issues relacionados #4815 y #5805. Se considera terminado cuando las extensiones instaladas puedan abrir la ejecución en el editor, mientras el navegador siga siendo la alternativa y se respete cualquier configuración.