From fe0216832db4a80ae3e31037137c5c5efef54945 Mon Sep 17 00:00:00 2001
From: Fredrik Ekre <ekrefredrik@gmail.com>
Date: Tue, 19 Feb 2019 12:39:08 +0100
Subject: [PATCH] Remove unused test/coverage/coverage.jl file.

---
 test/coverage/coverage.jl | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 test/coverage/coverage.jl

diff --git a/test/coverage/coverage.jl b/test/coverage/coverage.jl
deleted file mode 100644
index dc46850..0000000
--- a/test/coverage/coverage.jl
+++ /dev/null
@@ -1,6 +0,0 @@
-# only push coverage from one bot
-get(ENV, "TRAVIS_OS_NAME", nothing)       == "linux" || exit(0)
-get(ENV, "TRAVIS_JULIA_VERSION", nothing) == "1.0"   || exit(0)
-
-using Coverage
-Codecov.submit(Codecov.process_folder())