ci: pin the doc bot to the merge commit and always report the outcome - #25762

Merged

mshabarov merged 6 commits into

mainfrom

fix-deleted-branch-for-docs-bot

Sep 21, 2026

Commits on Sep 16, 2026

ci: pin the doc bot to the merge commit and always report the outcome
mshabarov
committed
67773d1

Commits on Sep 17, 2026

Merge remote-tracking branch 'origin/main' into fix-deleted-branch-for-docs-bot

mshabarov
and
claude
committed
3135df7

Commits on Sep 18, 2026

Merge branch 'main' into fix-deleted-branch-for-docs-bot
platosha
authored
47f2691
Merge branch 'main' into fix-deleted-branch-for-docs-bot

mshabarov
and
claude
committed
25ba178

Commits on Sep 21, 2026