Skip to content

Add ferrocene/tools to linkedProjects in editor config#2230

Merged
bors-ferrocene[bot] merged 1 commit intomainfrom
jyn/ferrocene-tools-config
Apr 7, 2026
Merged

Add ferrocene/tools to linkedProjects in editor config#2230
bors-ferrocene[bot] merged 1 commit intomainfrom
jyn/ferrocene-tools-config

Conversation

@jyn514
Copy link
Copy Markdown
Contributor

@jyn514 jyn514 commented Mar 18, 2026

This allows getting go-to-definition, etc. for document-signatures and friends.

Blocked on rust-lang/rust#154041.

@jyn514 jyn514 added the blocked waiting on another change label Mar 19, 2026
@jyn514
Copy link
Copy Markdown
Contributor Author

jyn514 commented Mar 24, 2026

waiting on #2239

@jyn514 jyn514 added waiting-on-author If this PR was opened by an automation, the "author" is the assignee. and removed blocked waiting on another change labels Apr 3, 2026
@jyn514
Copy link
Copy Markdown
Contributor Author

jyn514 commented Apr 3, 2026

merged in #2252

This allows getting go-to-defintion, etc. for `document-signatures` and
friends.
@jyn514 jyn514 force-pushed the jyn/ferrocene-tools-config branch from dbd4094 to caa56d5 Compare April 3, 2026 06:35
@jyn514 jyn514 added waiting-on-review and removed waiting-on-author If this PR was opened by an automation, the "author" is the assignee. labels Apr 3, 2026
@jyn514 jyn514 marked this pull request as ready for review April 3, 2026 06:36
Copy link
Copy Markdown
Member

@Hoverbear Hoverbear left a comment

Choose a reason for hiding this comment

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

bors merge

@bors-ferrocene
Copy link
Copy Markdown
Contributor

bors-ferrocene Bot commented Apr 7, 2026

Build succeeded:

@bors-ferrocene bors-ferrocene Bot merged commit 55a29f7 into main Apr 7, 2026
6 of 7 checks passed
@bors-ferrocene bors-ferrocene Bot deleted the jyn/ferrocene-tools-config branch April 7, 2026 01:23
@github-actions github-actions Bot added backport:maybe PR candidate for backport merged-in:1.96 labels Apr 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants