diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index 04732cf6d..7fbb3fc98 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -626,8 +626,8 @@ jobs: cd win32-bin && unzip ../z3-*-x86-win*.zip && cd .. cd win64-bin && unzip ../z3-*-x64-win*.zip && cd .. cd win-arm64-bin && unzip ../z3-*-arm64-win*.zip && cd .. - cd linux-arm64-bin && unzip ../z3-*-2_38_aarch64*.zip && cd .. - cd linux-x64-bin && unzip ../z3-*-27_x86_64*.zip && cd .. + cd linux-arm64-bin && unzip ../z3*-2_38_aarch64*.zip && cd .. + cd linux-x64-bin && unzip ../z3*-27_x86_64*.zip && cd .. - name: Build Python packages run: |