Skip to content

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

Open
pitmonticone wants to merge 3 commits intoPatrickMassot:masterfrom
pitmonticone:path-filters
Open

[TEMPLATE]: Path filters, extend permissions, extend to PR events#49
pitmonticone wants to merge 3 commits intoPatrickMassot:masterfrom
pitmonticone:path-filters

Conversation

@pitmonticone
Copy link
Copy Markdown
Contributor

@pitmonticone pitmonticone commented Oct 9, 2024 •
edited
Loading

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

Upstreamed from the EquationalTheories project.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@pitmonticone