mrva/vscode-codeql
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #2156 from github/robertbrignull/remoteResultsItemWithoutLogs

Browse Source 
Introduce cancelledRemoteResultsItemWithoutLogs context value
This commit is contained in:
Robert
2023-03-10 10:39:26 +00:00
committed by GitHub
parent 103017d717 0ab482a389
commit c0f3adc5ff
2 changed files with 10 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
extensions/ql-vscode/package.json
View File

@@ -842,12 +842,12 @@
{
"command": "codeQLQueryHistory.removeHistoryItem",
"group": "7_queryHistory@0",
"when": "viewItem == interpretedResultsItem || viewItem == rawResultsItem || viewItem == remoteResultsItem || viewItem == cancelledResultsItem || viewItem == cancelledRemoteResultsItem"
"when": "viewItem == interpretedResultsItem || viewItem == rawResultsItem || viewItem == remoteResultsItem || viewItem == cancelledRemoteResultsItemWithoutLogs || viewItem == cancelledResultsItem || viewItem == cancelledRemoteResultsItem"
},
{
"command": "codeQLQueryHistory.removeHistoryItem",
"group": "inline",
"when": "viewItem == interpretedResultsItem || viewItem == rawResultsItem || viewItem == remoteResultsItem || viewItem == cancelledResultsItem || viewItem == cancelledRemoteResultsItem"
"when": "viewItem == interpretedResultsItem || viewItem == rawResultsItem || viewItem == remoteResultsItem || viewItem == cancelledRemoteResultsItemWithoutLogs || viewItem == cancelledResultsItem || viewItem == cancelledRemoteResultsItem"
},
{
"command": "codeQLQueryHistory.renameItem",

11
extensions/ql-vscode/src/query-history/history-tree-data-provider.ts
View File

@@ -111,9 +111,14 @@ export class HistoryTreeDataProvider
return "remoteResultsItem";
}
case QueryStatus.Failed:
return element.t === "local"
? "cancelledResultsItem"
: "cancelledRemoteResultsItem";
if (element.t === "local") {
return "cancelledResultsItem";
} else if (element.variantAnalysis.actionsWorkflowRunId === undefined) {
return "cancelledRemoteResultsItemWithoutLogs";
} else {
return "cancelledRemoteResultsItem";
}
default:
assertNever(element.status);
}