Use git status --porcelain in CI

Signed-off-by: Spencer Wilson <[email protected]>
open-quantum-safe · Nov 1, 2024 · 1572852 · 1572852
1 parent 70ca706
commit 1572852
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/basic.yml b/.github/workflows/basic.yml
@@ -50,12 +50,12 @@ jobs:
         working-directory: 'scripts/copy_from_upstream'
         run: |
           python3 copy_from_upstream.py -d copy && \
-          ! git status | grep -i modified
+          test -z "$(git status --porcelain)"
       - name: Verify copy_from_upstream state after libjade
         working-directory: 'scripts/copy_from_upstream'
         run: |
           python3 copy_from_upstream.py -d libjade && \
-          ! git status | grep -i modified
+          test -z "$(git status --porcelain)"
 
   buildcheck:
     name: Check that code passes a basic build