diff --git a/.github/workflows/build-typetheory.yml b/.github/workflows/build-typetheory.yml
index eaaaaa56..01fc47d5 100644
--- 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"