Closed
Description
Seems like the CI workflow was migrated when the repo was split but it still points at old file paths preventing it from being triggered on PRs.
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
No one assigned
No labels
No type
No projects
No milestone
None yet
No branches or pull requests