[TEMPLATE]: Path filters, extend permissions, extend to PR events

PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.

Apache License 2.0

171 stars 29 forks source link

Open pitmonticone opened 1 month ago

pitmonticone commented 1 month ago

[x] Add blueprint-relevant path filters to avoid unnecessary action runs
[x] Extend permission to GitHub token to allow for dashboard-based project management
[x] Avoid website deployment on PR events

Upstreamed from the EquationalTheories project.