Skip to content

ci: do not read a bot's pull-request text for AI tooling names - #321

Merged
pierre-warnier merged 1 commit into
mainfrom
ci/skip-bot-pr-text
Sep 21, 2026
Merged

ci: do not read a bot's pull-request text for AI tooling names#321
pierre-warnier merged 1 commit into
mainfrom
ci/skip-bot-pr-text

ci: do not read a bot's pull-request text for AI tooling names

5f5af00
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar