Merge pull request #201 from kayjan/fix-cache

Changed: Skip if cache not found

Author: kayjan

.github/workflows/codecov.yml

@@ -67,6 +67,7 @@ jobs:
           GH_TOKEN: ${{ github.token }}
         run: |
           gh cache delete ${{ runner.os }}-benchmark --repo kayjan/bigtree
+        continue-on-error: true
       - name: Upload coverage to Codecov
         if: ${{ github.event_name == 'push' }}
         uses: codecov/codecov-action@v3