GitHub Tools
Github Check If Pull Request Merged
Aident Loadout を通じて GitHub Tools の Github Check If Pull Request Merged を使用します。実行前に入力、出力、設定、料金、リスクを確認できます。
書き込み Actionリスクレベル 2/5OAuth 接続
プロバイダーの説明
Checks if a pull request has been merged by querying the GitHub API. Use this action when you need to verify whether a specific pull request has been successfully merged into its target branch. The API returns a 204 status for merged PRs and 404 for unmerged PRs.