CI: fix for wrong-user git errors

Fixes #1161.
gnu-octave · Jun 30, 2022 · c6edc2a · c6edc2a
1 parent 4681f35
commit c6edc2a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -96,6 +96,7 @@ jobs:
           # For more details, see https://stackoverflow.com/q/71901632
           # and https://github.com/actions/checkout/issues/760
           docker exec oc sudo git config --global --add safe.directory /home/jovyan/octsympy
+          docker exec oc      git config --global --add safe.directory /home/jovyan/octsympy
           docker exec oc pip3 install packaging
           docker exec oc pip3 install sympy==$SYMPY
           echo Running BIST in-place