Skip to content

[tool] chore(tooling): fix add to project workflow (#188)#189

Merged
ncarenton merged 1 commit intomainfrom
fix/update-add-to-project-on-type
Mar 2, 2026
Merged

[tool] chore(tooling): fix add to project workflow (#188)#189
ncarenton merged 1 commit intomainfrom
fix/update-add-to-project-on-type

Conversation

@ncarenton
Copy link
Member

Proposed changes

  • Use to pull_request_target so workflow run has access to repo variables

Related issues

@github-actions github-actions bot added the filigran team use to identify PR from the Filigran team label Mar 2, 2026
Copy link
Member

@helene-nguyen helene-nguyen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@ncarenton Look good to me and seems to be the appropriate trigger

Useful resource
Github workflow documentation

@ncarenton ncarenton merged commit 95040d8 into main Mar 2, 2026
9 checks passed
@ncarenton ncarenton deleted the fix/update-add-to-project-on-type branch March 2, 2026 16:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

filigran team use to identify PR from the Filigran team

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants