fix: rocq/rocq-prover:dev does not contain user coq

coq-community · Feb 5, 2025 · 8dd5c2e · 8dd5c2e
1 parent 6ab4757
commit 8dd5c2e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/coq-demo.yml b/.github/workflows/coq-demo.yml
@@ -122,7 +122,7 @@ jobs:
             endGroup
           before_script: |
             startGroup "Workaround permission issue"
-              sudo chown -R coq:coq .
+              sudo chown -R 1000:1000 .
             endGroup
           script: |
             startGroup "Build project"
@@ -183,7 +183,7 @@ jobs:
               opam list
             endGroup
             startGroup "Workaround permission issue"
-              sudo chown -R coq:coq .
+              sudo chown -R 1000:1000 .
             endGroup
             startGroup "Build project"
               coq_makefile -f _CoqProject -o Makefile
@@ -349,7 +349,7 @@ jobs:
           custom_image: ${{ matrix.image }}
           before_script: |
             startGroup "Workaround permission issue"
-              sudo chown -R coq:coq .
+              sudo chown -R 1000:1000 .
             endGroup
           script: |
             startGroup "Build project"

diff --git a/README.md b/README.md
@@ -561,7 +561,7 @@ steps:
       custom_image: ${{ matrix.image }}
       before_script: |
         startGroup "Workaround permission issue"
-          sudo chown -R coq:coq .  # <--
+          sudo chown -R 1000:1000 .  # <--
         endGroup
       script: |
         startGroup "Build project"