chore: trigger CI

The branch was recreated after #4235 merged and neither the PR's opened nor
its reopened event produced a workflow run, while other branches pushed in the
same window did. This empty commit fires `synchronize`; it collapses away on
squash merge.

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

Author: claude