diff -r a988e44c92d5 -r b5835dca2624 build.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/build.sh	Fri Jul 19 09:38:03 2024 +0200
@@ -0,0 +1,17 @@
+#!/usr/bin/env bash
+
+SCRIPTPATH="$( cd -- "$(dirname "$0")" >/dev/null 2>&1 ; pwd -P )"
+
+pushd $SCRIPTPATH
+
+podman login -u iri -p "${REGISTRY_PASSWORD}" reg.kevin.srv.iri-research.org
+
+podman build -f docker/server/server.dockerfile -t reg.kevin.srv.iri-research.org/iri/hdalab_server:latest .
+
+podman push reg.kevin.srv.iri-research.org/iri/hdalab_server:latest
+
+podman build -f docker/worker/worker.dockerfile -t reg.kevin.srv.iri-research.org/iri/hdalab_worker:latest .
+
+podman push reg.kevin.srv.iri-research.org/iri/hdalab_worker:latest
+
+popd