Do not use make install?

p4gauntlet · Mar 20, 2024 · ddde690 · ddde690
1 parent f2ef4a8
commit ddde690
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/test_pruner.yml b/.github/workflows/test_pruner.yml
@@ -45,7 +45,6 @@ jobs:
       run: |
         cd $GITHUB_WORKSPACE/../p4c/build
         make  -j2
-        sudo make install
     - name: Test Pruner with CMake
       run: |
         cd $GITHUB_WORKSPACE/../p4c/build