Merge pull request #402 from ergebnis/fix/wait

Fix: Stop waiting
ergebnis · Apr 29, 2020 · 426c425 · 426c425
2 parents a77074c + 97b286d
commit 426c425
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/.github/workflows/integrate.yaml b/.github/workflows/integrate.yaml
@@ -420,9 +420,6 @@ jobs:
               reviewers: reviewers,
             })
 
-      - name: "Wait"
-        run: "sleep 3"
-
       - name: "Assign @ergebnis-bot"
         uses: "actions/github-script@0.8.0"
         with:
@@ -442,9 +439,6 @@ jobs:
               repo: repository.repo,
             })
 
-      - name: "Wait"
-        run: "sleep 3"
-
       - name: "Approve pull request"
         uses: "actions/github-script@0.8.0"
         if: "github.actor != 'ergebnis-bot'"
@@ -461,9 +455,6 @@ jobs:
               repo: repository.repo,
             })
 
-      - name: "Wait"
-        run: "sleep 3"
-
       - name: "Merge pull request"
         uses: "actions/github-script@0.8.0"
         with: