fix codecov / github api limits

2022-11-29 15:54:56 +01:00
parent 7ed0a873f5
commit 7fef5500cb
1 changed files with 3 additions and 1 deletions
@@ -15,7 +15,9 @@ jobs:

    - run: make test

-    - run: bash <(curl -s https://codecov.io/bash)
+    - uses: codecov/codecov-action@v3
+      with:
+        token: ${{ secrets.CODECOV_TOKEN }}

  test32:
    runs-on: ubuntu-22.04