From 741819bca223a4654b110043369b918397147cd2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ion=20Gazta=C3=B1aga?= <igaztanaga@gmail.com>
Date: Tue, 11 Nov 2025 22:56:31 +0100
Subject: [PATCH] Remove erroneous DisableRealtimeMonitoring command

---
 .github/workflows/ci.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4e80314..ad087df 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -627,7 +627,6 @@ jobs:
       - name: Setup Boost
         shell: cmd
         run: |
-            Set-MpPreference -DisableRealtimeMonitoring $true
             echo GITHUB_REPOSITORY: %GITHUB_REPOSITORY%
             for /f %%i in ("%GITHUB_REPOSITORY%") do set LIBRARY=%%~nxi
             echo LIBRARY: %LIBRARY%