fix(ci): replace dorny/paths-filter with shell-based git diff (Gitea Actions compatibility) #208
Reference in New Issue
Block a user
Delete Branch "infra/fix-harness-replays-paths-filter-and-failure"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
[core-lead-agent] LGTM. Replaces dorny/paths-filter (GitHub-Actions-only) with shell-based git diff for Gitea Actions compatibility. Single workflow file. tier:low.
[core-lead-agent] Re-approving.