Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Scaffold search scopes mechanism #177

Merged
merged 1 commit into from
Jan 17, 2025
Merged

Scaffold search scopes mechanism #177

merged 1 commit into from
Jan 17, 2025

Conversation

mkaput
Copy link
Member

@mkaput mkaput commented Jan 14, 2025 •
edited
Loading

@mkaput mkaput requested a review from a team as a code owner January 14, 2025 11:05
@mkaput mkaput requested review from Draggu and integraledelebesgue and removed request for a team January 14, 2025 11:05
This was referenced Jan 14, 2025
Merged
Merged
Merged
Merged
Merged
Merged
@mkaput mkaput force-pushed the spr/main/69f01fb6 branch from 10c1778 to 271f62a Compare January 14, 2025 11:18
@mkaput mkaput force-pushed the spr/main/69f01fb6 branch from 271f62a to 9f2145c Compare January 14, 2025 14:20
@mkaput mkaput mentioned this pull request Jan 14, 2025
Merged
@mkaput mkaput force-pushed the spr/main/f1005fca branch from 94d8017 to cfe42d1 Compare January 14, 2025 14:56
@mkaput mkaput force-pushed the spr/main/69f01fb6 branch from 9f2145c to c95005f Compare January 14, 2025 14:56
@mkaput mkaput mentioned this pull request Jan 14, 2025
Merged
@mkaput mkaput force-pushed the spr/main/69f01fb6 branch from c95005f to da4b012 Compare January 15, 2025 12:47
@mkaput mkaput force-pushed the spr/main/f1005fca branch from cfe42d1 to 77a8c96 Compare January 15, 2025 12:47
@mkaput mkaput mentioned this pull request Jan 15, 2025
Merged
piotmag769
piotmag769 approved these changes Jan 15, 2025
View reviewed changes
src/lang/inspect/usages/search_scope.rs Outdated Show resolved Hide resolved
src/lang/inspect/usages/mod.rs Show resolved Hide resolved
@mkaput mkaput force-pushed the spr/main/69f01fb6 branch from da4b012 to e7a6674 Compare January 16, 2025 09:49
@mkaput mkaput force-pushed the spr/main/f1005fca branch from 77a8c96 to 3b1ec77 Compare January 16, 2025 09:49
@mkaput mkaput force-pushed the spr/main/69f01fb6 branch from e7a6674 to e9b7845 Compare January 16, 2025 11:55
@mkaput mkaput force-pushed the spr/main/f1005fca branch from 3b1ec77 to 68c7789 Compare January 16, 2025 11:55
@mkaput mkaput force-pushed the spr/main/69f01fb6 branch from e9b7845 to 950e160 Compare January 16, 2025 12:13
@mkaput mkaput force-pushed the spr/main/f1005fca branch from 68c7789 to 71738fa Compare January 16, 2025 12:13
@mkaput mkaput mentioned this pull request Jan 16, 2025
Merged
Base automatically changed from spr/main/f1005fca to main January 16, 2025 12:54
@mkaput mkaput force-pushed the spr/main/69f01fb6 branch from 950e160 to 51cd69a Compare January 17, 2025 09:32
@mkaput mkaput enabled auto-merge January 17, 2025 09:33
@mkaput mkaput force-pushed the spr/main/69f01fb6 branch from 51cd69a to 86716de Compare January 17, 2025 09:35
@mkaput mkaput force-pushed the spr/main/69f01fb6 branch from 86716de to 39b5897 Compare January 17, 2025 09:44
@mkaput mkaput added this pull request to the merge queue Jan 17, 2025
Merged via the queue into main with commit e830503 Jan 17, 2025
11 checks passed
@mkaput mkaput deleted the spr/main/69f01fb6 branch January 17, 2025 09:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@piotmag769 piotmag769 piotmag769 approved these changes

@integraledelebesgue integraledelebesgue integraledelebesgue approved these changes

@Draggu Draggu Draggu approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@mkaput @piotmag769 @Draggu @integraledelebesgue