From a5f0094b2198c731d860550466a63ae7aca28e1b Mon Sep 17 00:00:00 2001
From: Tempestas Ludi <tempestasludi@gmail.com>
Date: Sat, 15 Feb 2025 16:37:06 +0100
Subject: [PATCH] Fix the chown issue

---
 .github/workflows/build-typetheory.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"