Fix the chown issue

UniMath · Feb 15, 2025 · a5f0094 · a5f0094
1 parent 682f2f8
commit a5f0094
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-typetheory.yml b/.github/workflows/build-typetheory.yml
@@ -58,7 +58,7 @@ jobs:
           ocaml_version: ${{ matrix.ocaml-version }}
           custom_script: |
             startGroup "Workaround permission issue"
-            sudo chown -R coq:coq .
+            sudo chown -R coq:coq . || sudo chown -R rocq:rocq .
             endGroup
 
             startGroup "Print versions"