From c2b3cefb080010cf31d53de21dfb7efa61556eb8 Mon Sep 17 00:00:00 2001
From: "Viral B. Shah" <ViralBShah@users.noreply.github.com>
Date: Wed, 28 Feb 2024 20:32:34 -0500
Subject: [PATCH] Delete coverage directory

---
 coverage/Project.toml | 2 --
 coverage/coverage.jl  | 9 ---------
 2 files changed, 11 deletions(-)
 delete mode 100644 coverage/Project.toml
 delete mode 100644 coverage/coverage.jl

diff --git a/coverage/Project.toml b/coverage/Project.toml
deleted file mode 100644
index 4fbdc47..0000000
--- a/coverage/Project.toml
+++ /dev/null
@@ -1,2 +0,0 @@
-[deps]
-Coverage = "a2441757-f6aa-5fb2-8edb-039e3f45d037"
diff --git a/coverage/coverage.jl b/coverage/coverage.jl
deleted file mode 100644
index 4f22fcc..0000000
--- a/coverage/coverage.jl
+++ /dev/null
@@ -1,9 +0,0 @@
-# Only run coverage from linux nightly build on Travis
-get(ENV, "TRAVIS_OS_NAME", "")       == "linux"   || exit()
-get(ENV, "TRAVIS_JULIA_VERSION", "") == "nightly" || exit()
-
-using Coverage
-
-cd(joinpath(dirname(@__FILE__), "..")) do
-    Codecov.submit(Codecov.process_folder())
-end
\ No newline at end of file