feat: Add GitHub folder to the CodeQL workspace configuration

GeekMasher · GeekMasher · commit c5201bf5b6e4 · 2025-09-05T12:25:29.000+01:00
diff --git a/codeql-extractor.code-workspace b/codeql-extractor.code-workspace
@@ -15,11 +15,15 @@
         {
             "name": "Extractor",
             "path": "extractor"
+        },
+        {
+            "name": "GitHub",
+            "path": ".github"
         }
     ],
     "settings": {
         "codeQL.runningTests.additionalTestArguments": [
             "./extractor-pack"
         ]
     }
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -15,11 +15,15 @@`
`15`	`15`	`{`
`16`	`16`	`"name": "Extractor",`
`17`	`17`	`"path": "extractor"`
	`18`	`+ },`
	`19`	`+ {`
	`20`	`+ "name": "GitHub",`
	`21`	`+ "path": ".github"`
`18`	`22`	`}`
`19`	`23`	`],`
`20`	`24`	`"settings": {`
`21`	`25`	`"codeQL.runningTests.additionalTestArguments": [`
`22`	`26`	`"./extractor-pack"`
`23`	`27`	`]`
`24`	`28`	`}`
`25`		`-}`
	`29`	`+}`