Merge pull request #252 from arnoudvanderleer/fix-ci

Fix the chown issue

Author: benediktahrens

.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"