From c006174c902e3bd7089f0d03956110354eac9fe3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 11 Feb 2026 02:36:07 -0800 Subject: [PATCH] fix underscore Signed-off-by: Nikolaj Bjorner --- .github/workflows/nightly.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index b14902660..0933d6daf 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -631,8 +631,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 && cp ../z3*-2_38_aarch64.whl . && cd .. - cd linux-x64-bin && cp ../z3*-27_x86_64.whl . && cd .. + cd linux-arm64-bin && cp ../z3*_2_38_aarch64.whl . && cd .. + cd linux-x64-bin && cp ../z3*_27_x86_64.whl . && cd .. - name: Build Python packages run: |