You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Describe the bug
When query compilation times out, the message The request (id: 6, method: 'compilation/compileQuery') has been cancelled is added to the extension log, but a query history item corresponding to the timed out query is not added to the query history view.
To Reproduce
Set codeQL.runningQueries.timeout to 1 second
Run a long-running query e.g. a path problem query
Focus the query history view
Observe that the query history view doesn't contain an item corresponding to the timed-out compilation.
Expected behavior
The query history view should contain an item corresponding to the timed-out compilation with a failed icon and the status "timed out".