Workflows: ignore certain files

[daidahao]

Checklist before merging this PR:

• Mentioned all issues that this PR fixes or addresses.
• Summarized the updates of this PR under Summary.
• Added an entry under Unreleased in the Changelog.

Fixes #.

Summary

Ignore certain files like CHANGELOG.md and README.md in PR workflows. There is no need to run workflows on changes like typos or formatting. Feel free to suggest any files that can be ignored.

Other Information

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 95.48%. Comparing base (a49c5bd) to head (81b9e28).

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2951      +/-   ##
==========================================
- Coverage   95.54%   95.48%   -0.07%     
==========================================
  Files         150      150              
  Lines       16198    16198              
==========================================
- Hits        15477    15466      -11     
- Misses        721      732      +11     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[dennisbader]

Hi @daidahao, I just checked whether updating the Changelog will not re-trigger the checks, but it seems they were triggered. So this change is not effective yet 🤔

[daidahao]

@dennisbader

It turned out that paths-ignore rules apply to git diff between the last commit in the PR branch and the last sync commit in the master branch, see https://docs.github.com/en/actions/how-tos/write-workflows/choose-when-workflows-run/trigger-a-workflow#git-diff-comparisons

What that means is that the workflow would still be triggered as long as some non-ignored files are changed in the PR, like develop.yml here☹️. But if the PR only changes the ignored files, the workflow would not be triggered.

From GitHub documentation, I could not find options that can stop triggering the workflows between commits in the same PR.