change user in pip

firedrakeproject · Nov 18, 2024 · c6a2856 · c6a2856
1 parent d4cacf2
commit c6a2856
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/pip.yml b/.github/workflows/pip.yml
@@ -21,7 +21,6 @@ jobs:
     runs-on: [self-hosted, Linux]
     container:
       image: firedrakeproject/firedrake-env:latest
-      options: --user root
     defaults:
       run:
         shell: bash