Skip to content

refactor: remove unused inlineSpecifiers argument from TypeMatchesSomeSpecifier#438

Merged
graphite-app[bot] merged 1 commit intomainfrom
c/11-18-refactor_remove_unused_inlinespecifiers_argument_from_typematchessomespecifier_
Nov 18, 2025
Merged

refactor: remove unused inlineSpecifiers argument from TypeMatchesSomeSpecifier#438
graphite-app[bot] merged 1 commit intomainfrom
c/11-18-refactor_remove_unused_inlinespecifiers_argument_from_typematchessomespecifier_

Conversation

@camc314
Copy link
Copy Markdown
Contributor

@camc314 camc314 commented Nov 18, 2025

No description provided.

Copy link
Copy Markdown
Contributor Author

camc314 commented Nov 18, 2025


How to use the Graphite Merge Queue

Add the label 0-merge to this PR to add it to the merge queue.

You must have a Graphite account in order to use the merge queue. Sign up using this link.

An organization admin has enabled the Graphite Merge Queue in this repository.

Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue.

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

@camc314 camc314 marked this pull request as ready for review November 18, 2025 12:14
@camc314 camc314 force-pushed the c/11-18-refactor_remove_unused_inlinespecifiers_argument_from_typematchessomespecifier_ branch from 5b7145a to 43b3abe Compare November 18, 2025 12:20
@camc314 camc314 force-pushed the c/11-17-fix_correctly_deserialize_typeorvaluespecifier_ branch from 4db352b to 02dc958 Compare November 18, 2025 12:21
@camc314 camc314 force-pushed the c/11-18-refactor_remove_unused_inlinespecifiers_argument_from_typematchessomespecifier_ branch from 43b3abe to 226aa91 Compare November 18, 2025 12:21
@graphite-app graphite-app Bot changed the base branch from c/11-17-fix_correctly_deserialize_typeorvaluespecifier_ to graphite-base/438 November 18, 2025 12:39
@graphite-app graphite-app Bot force-pushed the c/11-18-refactor_remove_unused_inlinespecifiers_argument_from_typematchessomespecifier_ branch from 226aa91 to c75ce29 Compare November 18, 2025 12:58
@graphite-app graphite-app Bot changed the base branch from graphite-base/438 to main November 18, 2025 12:59
@graphite-app graphite-app Bot force-pushed the c/11-18-refactor_remove_unused_inlinespecifiers_argument_from_typematchessomespecifier_ branch from c75ce29 to 4b622dd Compare November 18, 2025 12:59
Copy link
Copy Markdown
Contributor Author

camc314 commented Nov 18, 2025

Merge activity

@graphite-app graphite-app Bot force-pushed the c/11-18-refactor_remove_unused_inlinespecifiers_argument_from_typematchessomespecifier_ branch from 4b622dd to 16f45a0 Compare November 18, 2025 13:26
@graphite-app graphite-app Bot merged commit 16f45a0 into main Nov 18, 2025
7 checks passed
@graphite-app graphite-app Bot deleted the c/11-18-refactor_remove_unused_inlinespecifiers_argument_from_typematchessomespecifier_ branch November 18, 2025 13:44
@graphite-app graphite-app Bot removed the 0-merge label Nov 18, 2025
Copilot AI pushed a commit that referenced this pull request Nov 19, 2025
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.

1 participant