Merge branch 'informaticup' into change-display-name

Author: CaptainUnbrauchbar

.github/workflows/ci.yml

@@ -19,7 +19,7 @@ jobs:
             vsixPath: ${{ steps.packageExtension.outputs.vsixPath }}
         steps:
             - name: Harden the runner (Audit all outbound calls)
-              uses: step-security/harden-runner@002fdce3c6a235733a90a27c80493a3241e56863 # v2.12.1
+              uses: step-security/harden-runner@ec9f2d5744a09debf3a187a3f4f675c53b671911 # v2.13.0
               with:
                   egress-policy: audit
                   #ToDo: Change to block after couple of workflow runs

.github/workflows/dependency_review.yml

@@ -12,7 +12,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Harden the runner (Audit all outbound calls)
-        uses: step-security/harden-runner@002fdce3c6a235733a90a27c80493a3241e56863 # v2.12.1
+        uses: step-security/harden-runner@ec9f2d5744a09debf3a187a3f4f675c53b671911 # v2.13.0
         with:
           egress-policy: audit
           #ToDo: Change to block after couple of workflow runs

.github/workflows/marketplace_release.yml

@@ -19,7 +19,7 @@ jobs:
             vsixPath: ${{ steps.packageExtension.outputs.vsixPath }}
         steps:
             - name: Harden the runner (Audit all outbound calls)
-              uses: step-security/harden-runner@002fdce3c6a235733a90a27c80493a3241e56863 # v2.12.1
+              uses: step-security/harden-runner@ec9f2d5744a09debf3a187a3f4f675c53b671911 # v2.13.0
               with:
                   egress-policy: audit
                   #ToDo: Change to block after couple of workflow runs

.github/workflows/scorecard.yml

@@ -31,7 +31,7 @@ jobs:
 
     steps:
       - name: Harden the runner (Audit all outbound calls)
-        uses: step-security/harden-runner@002fdce3c6a235733a90a27c80493a3241e56863 # v2.12.1
+        uses: step-security/harden-runner@ec9f2d5744a09debf3a187a3f4f675c53b671911 # v2.13.0
         with:
           egress-policy: audit
           #ToDo: Change to block after couple of workflow runs
@@ -75,6 +75,6 @@ jobs:
       # Upload the results to GitHub's code scanning dashboard (optional).
       # Commenting out will disable upload of results to your repo's Code Scanning dashboard
       - name: "Upload to code-scanning"
-        uses: github/codeql-action/upload-sarif@ce28f5bb42b7a9f2c824e633a3f6ee835bab6858 # v3.29.0
+        uses: github/codeql-action/upload-sarif@4e828ff8d448a8a6e532957b1811f387a63867e8 # v3.29.4
         with:
           sarif_file: results.sarif

.github/workflows/semgrep.yml

@@ -33,7 +33,7 @@ jobs:
 
     steps:
       - name: Harden the runner (Audit all outbound calls)
-        uses: step-security/harden-runner@002fdce3c6a235733a90a27c80493a3241e56863 # v2.12.1
+        uses: step-security/harden-runner@ec9f2d5744a09debf3a187a3f4f675c53b671911 # v2.13.0
         with:
           egress-policy: audit
           #ToDo: Change to block after couple of workflow runs
@@ -46,7 +46,7 @@ jobs:
           SEMGREP_APP_TOKEN: ${{ secrets.SEMGREP_APP_TOKEN }}
 
       - name: Upload SARIF file for GitHub Advanced Security Dashboard
-        uses: github/codeql-action/upload-sarif@ce28f5bb42b7a9f2c824e633a3f6ee835bab6858 # v3.29.0
+        uses: github/codeql-action/upload-sarif@4e828ff8d448a8a6e532957b1811f387a63867e8 # v3.29.4
         with:
           sarif_file: semgrep.sarif
         if: always()

package-lock.json

@@ -189,12 +189,12 @@
     "devDependencies": {
         "@vscode/test-cli": "^0.0.11",
         "@vscode/test-electron": "^2.4.1",
-        "jest": "^29.7.0",
+        "jest": "^30.0.5",
         "vscode-extension-tester": "^8.15.0",
         "vscode-test": "^1.3.0"
     },
     "dependencies": {
-        "@vscode/codicons": "0.0.36",
+        "@vscode/codicons": "0.0.39",
         "ajv": "^8.17.1",
         "clingo-wasm": "^0.3.2",
         "which": "^5.0.0"

package.json

@@ -43,9 +43,6 @@ async function runClingoWasmForFileWithProgress(vscode, progress, filePath, mode
     // Filter options for Clingo
     const clingoOptions = options?.filter((arg) => arg.startsWith("--"));
 
-    // Remove all sections starting with % and ending with \r\n
-    fileContent = fileContent.replace(/%.*?\r\n/g, "");
-
     progress.report({
         increment: 50,
         message: "Running Clingo WASM...",