File tree Expand file tree Collapse file tree 2 files changed +43
-0
lines changed
Expand file tree Collapse file tree 2 files changed +43
-0
lines changed Original file line number Diff line number Diff line change 1+ {
2+ "editor.formatOnSave" : true ,
3+ "sarif-viewer.connectToGithubCodeScanning" : " on"
4+ }
Original file line number Diff line number Diff line change 1+ {
2+ "version" : " 2.0.0" ,
3+ "tasks" : [
4+ {
5+ "label" : " Generate from project file" ,
6+ "type" : " shell" ,
7+ "command" : " pipenv run python -m codeqlsummarize -o ./examples -i ./examples/projects.json" ,
8+ "problemMatcher" : [],
9+ "group" : {
10+ "kind" : " build" ,
11+ "isDefault" : true
12+ }
13+ },
14+ {
15+ "label" : " Generate from repository" ,
16+ "type" : " shell" ,
17+ "command" : " pipenv run python -m codeqlsummarize -o ./examples -l ${input:language} -r ${input:repository}" ,
18+ "problemMatcher" : [],
19+ "group" : {
20+ "kind" : " build" ,
21+ "isDefault" : true
22+ }
23+ }
24+ ],
25+ "inputs" : [
26+ {
27+ "id" : " language" ,
28+ "description" : " Language" ,
29+ "default" : " all" ,
30+ "type" : " promptString"
31+ },
32+ {
33+ "id" : " repository" ,
34+ "description" : " Repository (owner/repo)" ,
35+ "default" : " [owner/repo]" ,
36+ "type" : " promptString"
37+ },
38+ ]
39+ }
You can’t perform that action at this time.
0 commit comments