From 3fffb83b7cfaccd79161833eb6816b6c14fee285 Mon Sep 17 00:00:00 2001 From: swrup Date: Tue, 3 Feb 2026 12:52:19 +0100 Subject: [PATCH] --- tools/do_management.sh | 5 +++++ 1 file changed, 5 insertions(+) create mode 100755 tools/do_management.sh diff --git a/tools/do_management.sh b/tools/do_management.sh new file mode 100755 index 00000000..efb9b134 --- /dev/null +++ b/tools/do_management.sh @@ -0,0 +1,5 @@ +#!/bin/bash + +dune exec offline -- download && \ +dune exec offline -- sign && \ +dune exec offline -- upload