Add path-based filtering to GitHub Actions workflows to skip unnecessary CI runs #4750