mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 03:32:28 +00:00
Code Activity

Update nightly.yaml

Browse source 
mac -> osx
This commit is contained in:
Nikolaj Bjorner 2019-12-20 21:16:11 -08:00
parent c5d31be613
commit 8a75e9090b
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/nightly.yaml
View file

@ -130,7 +130,7 @@ jobs:
inputs:
artifactName: 'Manylinux'
targetPath: $(Agent.TempDirectory)
- script: cd $(Agent.TempDirectory); mkdir macos-bin; cd macos-bin; unzip ../*mac*.zip
- script: cd $(Agent.TempDirectory); mkdir macos-bin; cd macos-bin; unzip ../*osx*.zip
- script: cd $(Agent.TempDirectory); mkdir linux-bin; cd linux-bin; unzip ../*centos*.zip
- script: cd $(Agent.TempDirectory); mkdir win32-bin; cd win32-bin; unzip ../*x86-win*.zip
- script: cd $(Agent.TempDirectory); mkdir win64-bin; cd win64-bin; unzip ../*x64-win*.zip