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