From 5d951ad0af484b12bacaa2ab542a95e61da65c41 Mon Sep 17 00:00:00 2001
From: Max Desiatov <max@desiatov.com>
Date: Mon, 1 Feb 2021 22:08:39 +0000
Subject: [PATCH] Delete unused `codecov.sh` script

---
 codecov.sh | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100755 codecov.sh

diff --git a/codecov.sh b/codecov.sh
deleted file mode 100755
index bfbc950bb..000000000
--- a/codecov.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/bash
-
-set -ex
-
-bash <(curl -s https://codecov.io/bash)