fix: adresse repo git

2026-05-22 19:35:19 +00:00
parent 092d812bcf
commit 6c4e68d12f
1 changed files with 1 additions and 1 deletions
@@ -14,7 +14,7 @@ jobs:
        env:
          GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }}
        run: |
-          git clone --depth 1 https://alois:${GITEA_TOKEN}@git.alocoq.fr/alois/CoqGames.git .
+          git clone --depth 1 https://alois:${GITEA_TOKEN}@git.alocoq.fr/alois/CoqJeux.git .

      - name: Install kubectl
        run: |