fix: fix server_url and run_number

This commit is contained in:
Alpha Nerd 2026-05-11 16:20:21 +02:00
parent 799e41e4eb
commit 7cc3a8ee8e
Signed by: alpha-nerd
SSH key fingerprint: SHA256:QkkAgVoYi9TQ0UKPkiKSfnerZy2h4qhi3SVPXJmBN+M

View file

@ -416,10 +416,11 @@ function useEnvModel() {
function useEnvRunUrl() {
const context = useContext()
const runId = process.env["GITHUB_RUN_ID"]
if (!runId) throw new Error(`Environment variable "GITHUB_RUN_ID" is not set`)
const runNumber = process.env["GITHUB_RUN_NUMBER"] || process.env["GITHUB_RUN_ID"]
if (!runNumber) throw new Error(`Environment variable "GITHUB_RUN_NUMBER" is not set`)
return `/${context.repo.owner}/${context.repo.repo}/actions/runs/${runId}`
const serverUrl = (process.env["GITHUB_SERVER_URL"] || "https://github.com").replace(/\/+$/, "")
return `${serverUrl}/${context.repo.owner}/${context.repo.repo}/actions/runs/${runNumber}`
}
function useEnvAgent() {