Solutionunvalidated
The solution is as simple as: — on: push: paths: - 'document.tex'. Tension: specifying `tags:` explicitly only adds a filter for which tags will trigger the workflow. Outcome: This workflow triggers on both, pushes to the specified paths, and tags.
7a3265c5-9243-4479-889e-bb4fc45c1d3f
The solution is as simple as: — on:
push:
paths:
- 'document.tex'. Tension: specifying tags: explicitly only adds a filter for which tags will trigger the workflow. Outcome: This workflow triggers on both, pushes to the specified paths, and tags.