Use delete option in CI

open-quantum-safe · Nov 1, 2024 · d3db5e4 · d3db5e4
1 parent 86033cc
commit d3db5e4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/basic.yml b/.github/workflows/basic.yml
@@ -49,12 +49,12 @@ jobs:
       - name: Verify copy_from_upstream state after copy
         working-directory: 'scripts/copy_from_upstream'
         run: |
-          python3 copy_from_upstream.py copy && \
+          python3 copy_from_upstream.py -d copy && \
           ! git status | grep -i modified
       - name: Verify copy_from_upstream state after libjade
         working-directory: 'scripts/copy_from_upstream'
         run: |
-          python3 copy_from_upstream.py libjade && \
+          python3 copy_from_upstream.py -d libjade && \
           ! git status | grep -i modified
 
   buildcheck: