mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-21 13:23:39 +00:00
Code Activity

Update nightly.yaml for Azure Pipelines

Browse source
This commit is contained in:
Nikolaj Bjorner 2020-12-19 17:29:26 -08:00
parent 5ce3c18fd0
commit 3cd49d56c2
1 changed files with 0 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
scripts/nightly.yaml
View file

@ -118,10 +118,6 @@ jobs:
inputs: inputs:
artifactName: 'Ubuntu' artifactName: 'Ubuntu'
targetPath: tmp targetPath: tmp
- script: |
cd scripts
python mk_nuget_task.py ../tmp $(z3Version) $(Build.SourceVersion)
cd ..
- task: PythonScript@0 - task: PythonScript@0
displayName: 'Python: assemble files' displayName: 'Python: assemble files'
inputs: inputs: