lhotari commented on pull request #9606: URL: https://github.com/apache/pulsar/pull/9606#issuecomment-780492773
Yes, the [paths-ignore property](https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#onpushpull_requestpaths) doesn't seem to work as expected. One replacement is https://github.com/marketplace/actions/skip-duplicate-actions#skip-ignored-paths however I agree that it's good to revert back to diff-only action until we have a replacement. I'll propose a replacement in the GitHub Actions workflow refactoring that I'm working on. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
