Skip to content

Fixed PR workflow trigger#642

Merged
adriengivry merged 1 commit intomainfrom
fix/workflow_trigger
Feb 1, 2026
Merged

Fixed PR workflow trigger#642
adriengivry merged 1 commit intomainfrom
fix/workflow_trigger

Conversation

@adriengivry
Copy link
Member

Description

PR workflows aren't triggering properly for external contributions (through forks).
This PR attempts to address that issue.

Related Issue(s)

Fixes #(issue number)

Review Guidance

Write here.

Screenshots/GIFs

Write here.

@adriengivry adriengivry merged commit 9a3add1 into main Feb 1, 2026
4 checks passed
@adriengivry adriengivry deleted the fix/workflow_trigger branch February 1, 2026 16:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant