Skip to content

Commit

Permalink
Update nightly.yaml for Azure Pipelines
Browse files Browse the repository at this point in the history
  • Loading branch information
NikolajBjorner committed Dec 21, 2020
1 parent a728561 commit d0fbeb1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/nightly.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ stages:
- script: git clone https://github.com/z3prover/z3test z3test
- script: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2
- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
- task: PublishPipelineArtifact@2
- task: PublishPipelineArtifact@1
inputs:
artifactName: 'Mac'
targetPath: $(Build.ArtifactStagingDirectory)
Expand Down

0 comments on commit d0fbeb1

Please # to comment.