diff --git a/Dockerfile b/Dockerfile
index d7b985f..9051cf8 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -15,3 +15,6 @@
 
 RUN cd libhwbase && git fetch origin refs/changes/75/475/1 && git rebase FETCH_HEAD
 RUN cd libhwbase && make -j$(nproc) cnf=configs/linux install
+
+COPY ci.sh /
+ENTRYPOINT ["/bin/sh", "/ci.sh"]
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