commit 65e3fc7d0d360a15089f308015a5f6270eea5359
author Nico Huber <nico.h@gmx.de> Sat Apr 11 21:14:12 2026 +0000
committer Nico Huber <nico.h@gmx.de> Sat Apr 11 22:40:29 2026 +0000
tree 49cc02651c9abb33298408eacc363cba5ce2b7e0
parent d3bfc6a2721fd31045c43fd2896c2b2c6d6d9e36

Add simple `ci.sh` script as container entry point

Change-Id: Ibb7e65bff8128199d744a607e841c02a53848099
Signed-off-by: Nico Huber <nico.h@gmx.de>

Dockerfile

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"]

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