No need to delete files on github woorkflows

stanmart · Apr 19, 2024 · 431eac1 · 431eac1
1 parent 50de79c
commit 431eac1
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 30 otree devserver & otree test bargaining_test 2> stderr.log || cat stderr.log; rm stderr.log; pkill otree
+    - run: timeout 30 otree devserver & otree test bargaining_test 2> stderr.log || cat stderr.log; pkill otree