Test fix

OCamlPro · Jul 26, 2022 · e8348d6 · e8348d6
1 parent 6972f4a
commit e8348d6
Showing 1 changed file with 16 additions and 5 deletions.
diff --git a/.github/workflows/build_docker.yml b/.github/workflows/build_docker.yml
@@ -15,19 +15,30 @@ jobs:
     # as a system compiler. This container also contains opam 2.1.
     container:
       image: ocamlpro/ocaml:4.10
+      options: --user root
 
     steps:
-      # This line is needed to acces and use opam. We are unable to set the user
-      # to `ocaml` with the container parameters
-      - run: sudo chmod a+wx .
+      # Give 1001 user rights
+      # - run: sudo chown -R 1001:1001 .
 
-      - name: Reclaim cache directory
-        run: sudo chown -R 1001:1001 .
 
       # Checkout the code of the current branch
       - name: Checkout code
         uses: actions/checkout@v2
 
+      # - run: sudo chown -R ocaml:ocaml /__w/alt-ergo/alt-ergo
+
+      # Switch to ocaml user
+      - run: su ocaml
+
+      # This line is needed to acces and use opam. We are unable to set the user
+      # to `ocaml` with the container parameters
+      - run: sudo chmod a+wx .
+
+      - run: git config --global --add safe.directory /__w/alt-ergo/alt-ergo
+
+      - run: /usr/bin/git ls-files
+
       # Create a switch with the system compiler (no compilation needed).
       # And then, install external (no need for depext with opam 2.1) and libs deps.
       - run: opam switch create . ocaml-system --deps-only