diff --git a/.github/workflows/basic.yml b/.github/workflows/basic.yml index c360f2637..4b29be489 100644 --- a/.github/workflows/basic.yml +++ b/.github/workflows/basic.yml @@ -46,10 +46,12 @@ jobs: ! pip3 install --require-hashes -r requirements.txt 2>&1 | grep -i ERROR 77 \ echo "LIBOQS_DIR=$PWD" >> "$GITHUB_ENV" - name: Verify copy_from_upstream state after copy + working-directory: 'scripts/copy_from_upstream' run: | python3 copy_from_upstream.py 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 && \ ! git status | grep -i modified