delete files >=99MB

KeYProject · Jun 25, 2023 · aa0fc2f · aa0fc2f
1 parent a00a683
commit aa0fc2f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/run.yml b/.github/workflows/run.yml
@@ -50,7 +50,7 @@ jobs:
       - run: python render.py
 
       # weigl: quick fix!
-      - run: rm -vf pull-requests/*/*/keyext.slicing/build/test-results/test/*EndToEndTests.*
+      - run: find -type f -size +99M -delete
 
       - uses: EndBug/add-and-commit@v9
         with: