use CODECOV_TOKEN to upload codecov

homalg-project · Jul 8, 2024 · 8d30194 · 8d30194 · kamalsaleh · Jul 8, 2024
1 parent 17dd7a0
commit 8d30194
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/.github/workflows/Tests.yml b/.github/workflows/Tests.yml
@@ -85,6 +85,8 @@ jobs:
           fi
       - name: Upload code coverage
         if: github.event_name != 'schedule' && matrix.image == 'ghcr.io/kamalsaleh/gap-sympy-docker:latest'
+        env:
+          CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
         run: |
           cd MachineLearningForCAP
           ./dev/upload_codecov.sh
diff --git a/dev/upload_codecov.sh b/dev/upload_codecov.sh
@@ -23,7 +23,7 @@ shasum -a 256 -c codecov.SHA256SUM
 
 # execute
 chmod +x codecov
-while ! ./codecov -Z -v -s ../; do
-    echo "Codecov upload failed, retrying in 60s"
-    sleep 60
+while ! ./codecov -Z -v -s ../ -t $CODECOV_TOKEN; do
+    echo "Codecov upload failed, retrying in 20s"
+    sleep 20
 done