Fix github push in CI

mila-iqia · Aug 8, 2024 · 8a6e381 · 8a6e381
1 parent f1ba030
commit 8a6e381
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/cloud-ci.yml b/.github/workflows/cloud-ci.yml
@@ -9,7 +9,6 @@ on:
 permissions:
   id-token: write
 
-# 
 jobs:
   cloud-tests:
     strategy:
@@ -124,7 +123,7 @@ jobs:
 
       - name: Summary
         run: |
-          git remote set-url origin "https://${{ vars.REPORTS_USERNAME }}:${{ secrets.REPORTS_PAT }}@$(git remote get-url origin | cut -d'/' -f3-)"
+          # git remote set-url origin "https://${{ vars.REPORTS_USERNAME }}:${{ secrets.REPORTS_PAT }}@$(git remote get-url origin | cut -d'/' -f3-)"
           git config --global user.email "[email protected]"
           git config --global user.name "GitHub CI"
           poetry run milabench report --push