added simple deploy script

This commit is contained in:
2025-08-26 10:24:45 +02:00
parent a9903b023f
commit 8ed458b4f3

View File

@@ -0,0 +1,8 @@
#!/usr/bin/env bash
set -uo pipefail
if [[ -d deploy/ ]]; then
rm -r deploy/;
fi
cp -r target/ deploy/;