mikkeli 0500de9eb9 ci: widen the path filter to tools/ ...

The filter still named check-branding.sh at the repo root, a path that no
longer exists after the move — so a change to the branding toolkit would
not have triggered CI at all. Silent, and exactly the failure the toolkit
exists to prevent elsewhere.

'tools/**' also covers the deploy scripts that will land there.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01WHt4DykxXaQnyaJfyS8KCn

2026-09-01 10:56:22 +09:00

..

ci.yaml

ci: widen the path filter to tools/

2026-09-01 10:56:22 +09:00