Re-add repo token

Author: thibaudcolas

.github/workflows/ci.yml

@@ -34,6 +34,7 @@ jobs:
       - run: make test-coverage
       - run: coveralls || true
         env:
+          COVERALLS_REPO_TOKEN: ${{ secrets.COVERALLS_REPO_TOKEN }}
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       - run: make lint
       - run: make benchmark