sandcastle-ng

commit 58c897276071ea6d8dba8b6207f664f75abd32e3
parent 19c12c094a8448115b82a228c4c5a63fcbb2a8e7
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Thu, 25 Dec 2025 11:35:06 +0900

attempt fix head build again2

Diffstat:
M
contrib/ci/jobs/1-build-head/update-tags.sh
 | 
3
+++

1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/contrib/ci/jobs/1-build-head/update-tags.sh b/contrib/ci/jobs/1-build-head/update-tags.sh
@@ -16,6 +16,7 @@ DONAU_HEAD=$(fetch_head "git://git.taler.net/donau")
 MAILBOX_HEAD=$(fetch_head "git://git.taler.net/taler-mailbox")
 TALDIR_HEAD=$(fetch_head "git://git.taler.net/taldir")
 CHALLENGER_HEAD=$(fetch_head "git://git.taler.net/challenger")
+TURNSTILE_HEAD=$(fetch_head "git://git.taler.net/turnstile")
 
 echo "master" > buildconfig/gnunet.tag
 echo "master" > buildconfig/exchange.tag
@@ -28,6 +29,7 @@ echo "master" > buildconfig/donau.tag
 echo "master" > buildconfig/taler-directory.tag
 echo "master" > buildconfig/taler-mailbox.tag
 echo "master" > buildconfig/challenger.tag
+echo "master" > buildconfig/turnstile.tag
 
 rm -f buildconfig/*.checkout
 echo $GNUNET_HEAD > buildconfig/gnunet.checkout
@@ -41,3 +43,4 @@ echo $MAILBOX_HEAD > buildconfig/taler-directory.checkout
 echo $TALDIR_HEAD > buildconfig/taler-directory.checkout
 echo $DONAU_HEAD > buildconfig/donau.checkout
 echo $CHALLENGER_HEAD > buildconfig/challenger.checkout
+echo $TURNSTILE_HEAD > buildconfig/turnstile.checkout