Merge eeabfcfff6f14d8a2083198cf480ccd037ba64e2 into 2bc375f95009e600ba8d584a88a2b59da7c0e8ef

.github/workflows/docs-and-testcov.yml

@@ -115,19 +115,23 @@ jobs:
             exit 1
           fi
 
-          curl -L -H "Authorization: Bearer ${{ secrets.GITHUB_TOKEN }}" \
+          curl -L -H "Authorization: Bearer ${{ secrets.CUSTOM_GH_TOKEN }}" \
-            -o benchmark-report.zip "$artifact_url"
+          "$artifact_url" -o benchmark-report.zip
+
+
+
+          # Print all files in the current directory
+          echo "Files in the current directory:"
+          ls -al
+
+          # check if the zip file is valid
+          if ! unzip -tq benchmark-report.zip; then
+            echo "benchmark-report.zip is invalid or corrupted!"
+            exit 1
+          fi
+
+          unzip -q benchmark-report.zip -d benchmark-report
 
-          mkdir -p benchmark-report
-          # print ls -a
-          echo "$( ls -a benchmark-report )"
-          unzip benchmark-report.zip -d benchmark-report
-          # there will be a tar file in the benchmark-report directory 
-          # called artifact.tar. unzip it into the benchmark-report
-          tar -xvf benchmark-report/artifact.tar -C benchmark-report
-          # remove the artifact.tar file
-          rm benchmark-report/artifact.tar
-          # add an index.html that points to benchmark-report/report/index.html
           echo "<meta http-equiv=\"refresh\" content=\"0; url=report/index.html\">" > benchmark-report/index.html
 
       - name: Copy files to output directory