docs(README.md): replace last occ of coq:coq with 1000:1000

Follows-up: 8dd5c2e
coq-community · Feb 9, 2025 · df2b127 · df2b127
1 parent 09f3065
commit df2b127
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -622,7 +622,7 @@ strategy:
           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"