No need a large interval as deploy_watch already delays 2 minutes.

Author: pawchen

.github/workflows/deploy.yml

@@ -84,7 +84,7 @@ jobs:
       - name: Set $deploy_run_id
         run: echo "deploy_run_id=$(cat run_id.txt)" >> "$GITHUB_ENV"
       - name: Watch the deployment
-        run: gh run watch $deploy_run_id -R originlab/${{ matrix.site }} -i 30 --exit-status
+        run: gh run watch $deploy_run_id -R originlab/${{ matrix.site }} -i 10 --exit-status
       - name: Set $build_job_id
         run: echo "build_job_id=$(gh run view $deploy_run_id -R originlab/${{ matrix.site }} | grep 'publish_book / build' | grep -oP '\(ID \K\d+')" >> "$GITHUB_ENV"
       - name: Print converter output