PR-based workflow does not trigger CI on tag

[omus]

Probably this issue again: https://github.com/peter-evans/create-pull-request/blob/main/docs/concepts-guidelines.md#triggering-further-workflow-runs

[omus]

Noticed this issue again with the release of v1.2.0+2024a. I also noticed that CI didn't run on main due to a misconfiguration of ignored paths (fixed in #24). I did think that the path-ignore rule was also being applied to tags which would be problematic but:

When using the push and pull_request events, you can configure a workflow to run based on what file paths are changed. Path filters are not evaluated for pushes of tags.

– https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#onpushpull_requestpull_request_targetpathspaths-ignore