Skip to content

Add get_pull_request_ci_failures tool to retrieve failed CI job logs for PRs#1527

Open
jaceksan wants to merge 3 commits intogithub:mainfrom
jaceksan:add-pr-ci-failures-tool
Open

Add get_pull_request_ci_failures tool to retrieve failed CI job logs for PRs#1527
jaceksan wants to merge 3 commits intogithub:mainfrom
jaceksan:add-pr-ci-failures-tool

Commits

Commits on Dec 3, 2025