1 files changed, 0 insertions, 7 deletions
diff --git a/publish_coverage.sh b/publish_coverage.sh
deleted file mode 100755
index bc72484..0000000
--- a/publish_coverage.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/bash
-
-if [ -d "coverage" ]; then
-  bash <(curl -s https://codecov.io/bash)
-else
-  echo "No coverage generated. Skipping upload."
-fi
-\ No newline at end of file