chore: restart-on-label: wait for 30s (#4663)

this doesn't work reliable when it cancels jobs. Maybe sleeping helps.
leanprover · Jul 5, 2024 · 04fefdd · 04fefdd
1 parent 75fe520
commit 04fefdd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/restart-on-label.yml b/.github/workflows/restart-on-label.yml
@@ -20,8 +20,8 @@ jobs:
         gh run view "$run_id"
         echo "Cancelling (just in case)"
         gh run cancel "$run_id" || echo "(failed)"
-        echo "Waiting for 10s"
-        sleep 10
+        echo "Waiting for 30s"
+        sleep 30
         gh run view "$run_id"
         echo "Rerunning"
         gh run rerun "$run_id"