Kill server instead of relying on timeout

stanmart · Apr 19, 2024 · 32918bd · 32918bd
1 parent 6067630
commit 32918bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -40,4 +40,4 @@ jobs:
         source venv/bin/activate
         pip install -r requirements.txt
     - run: echo "$PWD/venv/bin" >> $GITHUB_PATH
-    - run: timeout 5 otree devserver & otree test bargaining_test 2> stderr.log || cat stderr.log; rm stderr.log
+    - run: timeout 30 otree devserver & otree test bargaining_test 2> stderr.log || cat stderr.log; rm stderr.log; pkill otree