diff --git a/CI/build.sh b/CI/build.sh
deleted file mode 100755
index bbdb8f94..00000000
--- a/CI/build.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/bash
-set -eo pipefail
-
-make all
\ No newline at end of file
diff --git a/CI/exclude-from-build.json b/CI/exclude-from-build.json
deleted file mode 100644
index 4fa1dc86..00000000
--- a/CI/exclude-from-build.json
+++ /dev/null
@@ -1,7 +0,0 @@
-[
-  "^plans/",
-  "^docs/",
-  "^CI/exclude-from-build.json$",
-  "README.md",
-  "CHANGELOG.md"
-]
\ No newline at end of file