Enable push in the upload-coverage task

3 years ago · 6d84ead90d
parent c29e500578
commit 6d84ead90d
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -23,5 +23,5 @@ upload-coverage: coverage
    cp -R target/debug/coverage/ .
    git add -A badges examples src tests coverage.json index.html
    git commit -m "Coverage for $(git rev-parse --short main)"
-    # git push
+    git push
    git checkout main