zhengchen.tao
55c175acca
empirical discovery：c6bb0c85 那个 --allow-empty commit 推送后没有 触发 build。证实 Gitea Actions（同 GitHub Actions）对 paths-ignore + empty commit 的处理是"vacuously matches ignore list, skip"。 把这个 quirk 直接注释在 workflow 文件里，后续自己或 Claude 看到 build 没触发时不用再怀疑 trigger 配置错了，知道是 empty commit 的 正常行为。