Skip to content

ci: skip pipeline for docs-only PRs via paths-ignore#109

Merged
zeevdr merged 1 commit into
mainfrom
ci/paths-ignore-105
May 30, 2026
Merged

ci: skip pipeline for docs-only PRs via paths-ignore#109
zeevdr merged 1 commit into
mainfrom
ci/paths-ignore-105

Commits

Commits on May 30, 2026