add make write-prod-robots

dart-lang · Jan 4, 2024 · 9ce7d10 · 9ce7d10
1 parent 0b43c11
commit 9ce7d10
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/cloud_build/deploy.yaml b/cloud_build/deploy.yaml
@@ -9,6 +9,7 @@ steps:
         set -e
         echo "Building the website using a makefile..."
         make build
+        make write-prod-robots
   - name: gcr.io/flutter-dev-230821/firebase-ghcli
     entrypoint: '/bin/bash'
     args: