Skip to content
PR issue check

fix: dispose orphaned progress notifications on language server shutdown #1057

Sign in to view logs

fix: dispose orphaned progress notifications on language server shutdown

fix: dispose orphaned progress notifications on language server shutdown #1057

Run time

Learn about OS pricing on GitHub Actions
Job Run time
0s