From d3db5e43f787ad53ed62d99ec62f3393b568fa9b Mon Sep 17 00:00:00 2001 From: Spencer Wilson Date: Fri, 1 Nov 2024 11:13:36 -0400 Subject: [PATCH] Use delete option in CI --- .github/workflows/basic.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/basic.yml b/.github/workflows/basic.yml index 69061e21d..fa185d0e9 100644 --- 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: