Fix run ID

This commit is contained in:
Brian McKenna 2026-02-16 00:00:18 +11:00
parent e3e7e32a05
commit 6c3deb1c6e

View File

@ -28,7 +28,7 @@ loadConfig = do
repository <- requireEnv "GITHUB_REPOSITORY" repository <- requireEnv "GITHUB_REPOSITORY"
eventName <- requireEnv "GITHUB_EVENT_NAME" eventName <- requireEnv "GITHUB_EVENT_NAME"
eventPath <- requireEnv "GITHUB_EVENT_PATH" eventPath <- requireEnv "GITHUB_EVENT_PATH"
runId <- lookupEnvText "GITHUB_RUN_ID" "" runId <- lookupEnvText "GITHUB_RUN_NUMBER" ""
trigger <- lookupEnvText "INPUT_TRIGGER_PHRASE" "@claude" trigger <- lookupEnvText "INPUT_TRIGGER_PHRASE" "@claude"
let repoText = T.pack repository let repoText = T.pack repository