From f1b7ab3d3fe9094dc94c2bb10d32f48d27b32134 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 6 Jul 2022 01:53:26 -0700 Subject: [PATCH] x64 Signed-off-by: Nikolaj Bjorner --- scripts/release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/release.yml b/scripts/release.yml index 39df80751..c8d275a84 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -410,7 +410,7 @@ stages: inputs: artifact: 'WindowsBuild-x64' path: $(Agent.TempDirectory) - - script: cd $(Agent.TempDirectory); mkdir osx-bin; cd osx-bin; unzip ../*osx*.zip + - script: cd $(Agent.TempDirectory); mkdir osx-x64-bin; cd osx-x64-bin; unzip ../*x64-osx*.zip - script: cd $(Agent.TempDirectory); mkdir osx-arm64-bin; cd osx-arm64-bin; unzip ../*arm64-osx*.zip - script: cd $(Agent.TempDirectory); mkdir libc-bin; cd libc-bin; unzip ../*glibc*.zip - script: cd $(Agent.TempDirectory); mkdir musl-bin; cd musl-bin; unzip ../*-linux.zip