diff --git a/build-ci.sh b/build-ci.sh deleted file mode 100644 index 0510f2c06f..0000000000 --- a/build-ci.sh +++ /dev/null @@ -1,2 +0,0 @@ -#!/usr/bin/env bash -set -e