Skip to content

Timeout during query compilation or query evaluation should produce notification #251

@henrymercer

Description

@henrymercer

Describe the bug
If a query compilation or a query evaluation times out, the extension should produce a notification to inform the user of the timeout.

To Reproduce

  1. Set codeQL.runningQueries.timeout to 1 second
  2. Run a long-running query e.g. a path problem query
  3. Observe that the query run notification disappears, indicating that the query run has terminated, however there is no notification informing the user of the timeout.

Expected behavior
When the query run notification disappears, an error notification should be displayed indicating that the query run has timed out.

Metadata

Metadata

Assignees

Labels

bugSomething isn't workinggood first issueGood for newcomers

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions