Skip to content

Set up file watcher for groups #1485

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
Merged
soutaro merged 2 commits into from
Feb 4, 2025
Merged

Set up file watcher for groups #1485

soutaro merged 2 commits into from
Feb 4, 2025

Conversation

@soutaro
Copy link
Owner

@soutaro soutaro commented Feb 4, 2025

No description provided.

@soutaro soutaro added this to the Steep 1.10 milestone Feb 4, 2025
@soutaro soutaro added the area/lsp Issues related to language server label Feb 4, 2025
@soutaro soutaro enabled auto-merge February 4, 2025 08:03
@soutaro soutaro merged commit a2cb817 into master Feb 4, 2025
19 checks passed
@soutaro soutaro deleted the watch-groups branch February 4, 2025 08:55
soutaro added a commit that referenced this pull request Feb 4, 2025
@soutaro
Merge pull request #1485 from soutaro/watch-groups
6d56907 
Set up file watcher for groups
@soutaro soutaro added the Released The PR is already included in a published release label Mar 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

area/lsp Issues related to language server Released The PR is already included in a published release

Projects

None yet

Milestone

Steep 1.10

Development

Successfully merging this pull request may close these issues.

2 participants

@soutaro