GITHUB_RUN_ID とは？
GITHUB_RUN_ID はリポジトリ内の特定のワークフロー実行を識別する一意な番号です。
GITHUB_RUN_ID は同じ実行の再実行をまたいで安定しており、API 経由で実行を取得したり、そのログへリンクしたりする際に使うキーです。
一般的な用途
- Actions の UI で実行へのリンクを構築する
gh apiで実行の詳細を取得する- 実行ごとの一時リソースの namespace にする
例
実行の URL を構築します。
shell
echo "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}/actions/runs/${GITHUB_RUN_ID}"重要なポイント
- GITHUB_RUN_ID は実行を一意に識別します。
- 再実行をまたいで安定しています。
- API 呼び出しや実行リンクに使います。