Skip to content
ImandraX VSCode Extension CI

Fix automatic restart of language server upon changes in configuration #346

Sign in to view logs

Fix automatic restart of language server upon changes in configuration

Fix automatic restart of language server upon changes in configuration #346

This job was skipped