split into 2 lines to fix grep pipe error

TinyTapeout · Apr 24, 2023 · 79ca4c8 · 79ca4c8
1 parent c83c92b
commit 79ca4c8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/sta.yaml b/.github/workflows/sta.yaml
@@ -39,7 +39,8 @@ jobs:
       if: success() || failure()
       run: |
         # ignore Harald's weird STA issues
-        ! grep -v hpretl sta.log | grep VIOLATED sta.log
+        grep -v hpretl sta.log > sta.log.2
+        ! grep VIOLATED sta.log.2
 
     - name: upload logs
       if: success() || failure()