Skip to content

Preventing handling bad-paths for plugin-macros.#9068

Merged
orizi merged 1 commit intomainfrom
orizi/12-12-preventing_handling_bad-paths_for_plugin-macros
Dec 14, 2025
Merged

Preventing handling bad-paths for plugin-macros.#9068
orizi merged 1 commit intomainfrom
orizi/12-12-preventing_handling_bad-paths_for_plugin-macros

Conversation

@orizi
Copy link
Collaborator

@orizi orizi commented Dec 12, 2025

No description provided.

@reviewable-StarkWare
Copy link

This change is Reviewable

Copy link
Collaborator Author

orizi commented Dec 12, 2025

This stack of pull requests is managed by Graphite. Learn more about stacking.

@orizi orizi marked this pull request as ready for review December 12, 2025 11:59
Copy link
Collaborator

@maciektr maciektr left a comment

Choose a reason for hiding this comment

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

@maciektr reviewed 2 of 2 files at r1, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @Arcticae, @Draggu, and @TomerStarkware)

Copy link
Collaborator

@Arcticae Arcticae left a comment

Choose a reason for hiding this comment

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

:lgtm:

Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @Draggu and @TomerStarkware)

@orizi orizi force-pushed the orizi/12-12-preventing_handling_bad-paths_for_plugin-macros branch from 74bff96 to af1798a Compare December 12, 2025 17:17
@orizi orizi force-pushed the orizi/12-12-preventing_handling_bad-paths_for_plugin-macros branch from af1798a to bc4e9a3 Compare December 13, 2025 02:20
Copy link
Collaborator

@TomerStarkware TomerStarkware left a comment

Choose a reason for hiding this comment

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

:lgtm:

@TomerStarkware reviewed 3 of 3 files at r2, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @Draggu)

@orizi orizi added this pull request to the merge queue Dec 14, 2025
Merged via the queue into main with commit ff9aba6 Dec 14, 2025
54 checks passed
@orizi orizi deleted the orizi/12-12-preventing_handling_bad-paths_for_plugin-macros branch December 17, 2025 17:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants