Add simple `ci.sh` script as container entry point
Change-Id: Ibb7e65bff8128199d744a607e841c02a53848099
Signed-off-by: Nico Huber <nico.h@gmx.de>
diff --git a/ci.sh b/ci.sh
new file mode 100644
index 0000000..64eaaf4
--- /dev/null
+++ b/ci.sh
@@ -0,0 +1,20 @@
+#!/bin/sh
+
+SA=https://review.sourcearcade.org
+JOBS=3 # per gnatprove instance
+
+set -e
+
+[ $# -ne 2 ] && { echo "Usage: $0 <project> <change-ref>"; exit 1; }
+
+PROJECT="$1"
+CHANGE="$2"
+
+echo ${PROJECT}: ${CHANGE}
+
+[ -d "${PROJECT}" ] || git clone "${SA}/${PROJECT}.git"
+
+cd "${PROJECT}"
+git fetch origin "${CHANGE}"
+git checkout FETCH_HEAD
+exec make -kj$(($(nproc)/JOBS/2)) jobs=${JOBS} proof-allconfigs