Prefer client pull diagnostics over server push - Githubissues

actions / languageservices

Language services for GitHub Actions workflows and expressions.

MIT License

71 stars 25 forks source link

Prefer client pull diagnostics over server push #94

Open KevinEady opened 3 months ago

KevinEady commented 3 months ago

Fixes: #93

References:

KevinEady commented 3 months ago

Old behavior:

https://github.com/user-attachments/assets/f63c4d99-4200-4b16-aebb-f231152eebe9

New behavior:

https://github.com/user-attachments/assets/7c3d4129-a01b-4996-8845-fe3cf7a2d5db