diff --git a/.github/workflows/docs-and-testcov.yml b/.github/workflows/docs-and-testcov.yml index c946b9b..68bd58c 100644 --- a/.github/workflows/docs-and-testcov.yml +++ b/.github/workflows/docs-and-testcov.yml @@ -112,14 +112,14 @@ jobs: if [ -z "$artifact_url" ]; then echo "No benchmark artifact found!" - exit 1 + mkdir -p benchmark-report + echo 'No Benchmarks

No benchmarks available

' > benchmark-report/index.html + exit 0 fi curl -L -H "Authorization: Bearer ${{ secrets.CUSTOM_GH_TOKEN }}" \ "$artifact_url" -o benchmark-report.zip - - # Print all files in the current directory echo "Files in the current directory:" ls -al