[web] fix retries in Jenkins (#28542)

GitOrigin-RevId: b808200371b972a0fd5206993463c6a6d8c795e9
This commit is contained in:
Jakob Ackermann
2025-09-18 08:05:48 +00:00
committed by Copybot
parent ff1c4cf2f5
commit ada2b75a92
+2 -2
View File
@@ -2,5 +2,5 @@
set -e
# Branding
mv app/views/external/robots.txt public/robots.txt
mv app/views/external/googlebdb0f8f7f4a17241.html public/googlebdb0f8f7f4a17241.html
cp app/views/external/robots.txt public/robots.txt
cp app/views/external/googlebdb0f8f7f4a17241.html public/googlebdb0f8f7f4a17241.html