extend server spin time

cmu-db · May 2, 2024 · 0b59220 · 0b59220
1 parent c4e5c81
commit 0b59220
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/benchmark_group_2.yml b/.github/workflows/benchmark_group_2.yml
@@ -81,7 +81,7 @@ jobs:
           sleep 5
           cat ${{ github.workspace }}/logs/app_6379.log
       - name: spin
-        run: sleep 80
+        run: sleep 120
       - name: Server shut down and log
         run: cat ${{ github.workspace }}/logs/app_6379.log
   run-benchmark:

diff --git a/.github/workflows/benchmark_group_2_multi.yml b/.github/workflows/benchmark_group_2_multi.yml
@@ -152,7 +152,7 @@ jobs:
           sleep 5
           cat ${{ github.workspace }}/logs/app_6379.log
       - name: spin
-        run: sleep 80
+        run: sleep 120
       - name: Server shut down and log
         run: cat ${{ github.workspace }}/logs/app_6379.log
   run-server-2:
@@ -186,7 +186,7 @@ jobs:
           sleep 5
           cat ${{ github.workspace }}/logs/app_6379.log
       - name: spin
-        run: sleep 80
+        run: sleep 120
       - name: Server shut down and log
         run: cat ${{ github.workspace }}/logs/app_6379.log
   run-server-3:
@@ -220,7 +220,7 @@ jobs:
           sleep 5
           cat ${{ github.workspace }}/logs/app_6379.log
       - name: spin
-        run: sleep 80
+        run: sleep 120
       - name: Server shut down and log
         run: cat ${{ github.workspace }}/logs/app_6379.log
   run-benchmark: