Skip to content

ci: skip check-rfc for bot-authored PRs#193

Merged
filvecchiato merged 3 commits into
mainfrom
ci/fix-check-rfc-bot-skip
Jun 4, 2026
Merged

ci: skip check-rfc for bot-authored PRs#193
filvecchiato merged 3 commits into
mainfrom
ci/fix-check-rfc-bot-skip

Commits

Commits on Jun 4, 2026