From fa3665e95fddb66cc4367d40ed12e04d01e178be Mon Sep 17 00:00:00 2001
From: Joris Vaillant <joris.vaillant@inria.fr>
Date: Fri, 2 Feb 2024 15:45:36 +0100
Subject: [PATCH] ci: Don't build in sudo

---
 .github/workflows/linux.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index b5ce42f442..6726141ce9 100644
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -110,7 +110,8 @@ jobs:
           -DCMAKE_CXX_COMPILER_LAUNCHER=ccache \
           -DCMAKE_BUILD_TYPE=Release \
           -DWITH_EXAMPLES=OFF
-        sudo make -j2 install
+        make -j2
+        sudo make install
         cd ../..
         rm -rf casadi
         cd ..