From d0fbeb11c9a65109587a209156fa8bef0b9714d7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 21 Dec 2020 11:57:00 -0800
Subject: [PATCH] Update nightly.yaml for Azure Pipelines

---
 scripts/nightly.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 43df42b60..2cd613e1d 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -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)