https://github.blog/changelog/2021-02-08-github-actions-skip-pull-request-and-push-workflows-with-skip-ci/

GitHub Actions now supports skipping push and pull_request workflows by looking for some common keywords in your commit message.

If any commit message in your push or the HEAD commit of your PR contains the strings [skip ci], [ci skip], [no ci], [skip actions], or [actions skip] workflows triggered on the push or pull_request events will be skipped.

Finally, GitHub support skipping workflows to save CI resources! Will try how it looks like in next pushes/PRs. If it works well, we should document it in the contributing guides at CONTRIBUTING.md, and even in the Pull Request template.