From 7f276fb89d659ad86bf2b862f4de4ed3c362d3d6 Mon Sep 17 00:00:00 2001
From: Jan Sucan <jan@jansucan.com>
Date: Fri, 26 Apr 2024 08:55:12 +0200
Subject: devel_tools: Add CI Docker image

---
 devel_tools/ci_container/run.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 devel_tools/ci_container/run.sh

(limited to 'devel_tools/ci_container/run.sh')

diff --git a/devel_tools/ci_container/run.sh b/devel_tools/ci_container/run.sh
new file mode 100644
index 0000000..ea01ee1
--- /dev/null
+++ b/devel_tools/ci_container/run.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+USER_UID=$(id -u)
+USER_GID=$(id -g)
+
+# Intended to run from root directory of the project
+docker run -v .:/diff-dd ghcr.io/jansucan/diff-dd-ci $USER_UID $USER_GID "$@"
-- 
cgit v1.2.3