From 0aead435a08a9c4208f962c656d2346f7eb15e89 Mon Sep 17 00:00:00 2001
From: Ladislau Szomoru <3372902+lszomoru@users.noreply.github.com>
Date: Wed, 29 Oct 2025 10:04:43 +0100
Subject: [PATCH] Engineering - try to run mangling in the PR check (#268428)

---
 .github/workflows/pr.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 26ad219d114..6143914601f 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -80,7 +80,7 @@ jobs:
         run: .github/workflows/check-clean-git-state.sh
 
       - name: Compile & Hygiene
-        run: npm exec -- npm-run-all -lp core-ci-pr extensions-ci-pr hygiene eslint valid-layers-check define-class-fields-check vscode-dts-compile-check tsec-compile-check
+        run: npm exec -- npm-run-all -lp core-ci extensions-ci hygiene eslint valid-layers-check define-class-fields-check vscode-dts-compile-check tsec-compile-check
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}