commit 19c12c094a8448115b82a228c4c5a63fcbb2a8e7
parent eafe2b70d4dab23059a9332ae0edba3168c3d13b
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date: Thu, 25 Dec 2025 11:17:49 +0900
attempt fix head build again
Diffstat:
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
@@ -15,6 +15,7 @@ SYNC_HEAD=$(fetch_head "git://git.taler.net/sync")
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")
echo "master" > buildconfig/gnunet.tag
echo "master" > buildconfig/exchange.tag
@@ -26,6 +27,7 @@ echo "master" > buildconfig/sync.tag
echo "master" > buildconfig/donau.tag
echo "master" > buildconfig/taler-directory.tag
echo "master" > buildconfig/taler-mailbox.tag
+echo "master" > buildconfig/challenger.tag
rm -f buildconfig/*.checkout
echo $GNUNET_HEAD > buildconfig/gnunet.checkout
@@ -38,3 +40,4 @@ echo $SYNC_HEAD > buildconfig/sync.checkout
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