From 6ca1047bb0a067371cc2b7fc492d99c424adf44c Mon Sep 17 00:00:00 2001
From: Max Brunsfeld <maxbrunsfeld@gmail.com>
Date: Fri, 1 Feb 2019 20:19:38 -0800
Subject: [PATCH] Remove ci shell script

---
 script/ci | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100755 script/ci

diff --git a/script/ci b/script/ci
deleted file mode 100755
index 6ad8a2b7..00000000
--- a/script/ci
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/usr/bin/env bash
-
-set -e
-
-script/fetch-fixtures
-script/check-mallocs
-script/build-runtime
-script/test -b
-script/benchmark -b