Merge #422

422: Use the `CODECOV_TOKEN` when submitting to Codecov r=DilumAluthge a=DilumAluthge



Co-authored-by: Dilum Aluthge <[email protected]>

Author: bors[bot]

.github/workflows/ci_integration.yml

@@ -60,3 +60,4 @@ jobs:
       - uses: codecov/codecov-action@v1
         with:
           file: lcov.info
+          token: ${{ secrets.CODECOV_TOKEN }}