1 files changed, 7 insertions, 0 deletions
diff --git a/publish_coverage.sh b/publish_coverage.sh
new file mode 100755
index 0000000..bc72484
--- /dev/null
+++ b/publish_coverage.sh
@@ -0,0 +1,7 @@
+#!/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