Skip to content
ImandraX VSCode Extension CI

Improve LSP shutdown behaviour #66

Sign in to view logs

Improve LSP shutdown behaviour

Improve LSP shutdown behaviour #66

Run time

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