diff --git a/.github/workflows/basic.yml b/.github/workflows/basic.yml index 27faa7372..c882261f5 100644 --- a/.github/workflows/basic.yml +++ b/.github/workflows/basic.yml @@ -48,6 +48,7 @@ jobs: - name: Verify copy_from_upstream state after copy working-directory: 'scripts/copy_from_upstream' run: | + echo "$LIBOQS_DIR" && python3 copy_from_upstream.py copy && \ ! git status | grep -i modified - name: Verify copy_from_upstream state after libjade