From 2123d383716dc645535d0ecf6520869a2f25fe83 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 30 Sep 2024 04:16:29 +0100
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 510aa7cfd..ab8cacf38 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -449,7 +449,7 @@ stages:
     pool:
       vmImage: "ubuntu-latest"
     steps:
-     - task: DownloadPipelineArtifact@2
+    - task: DownloadPipelineArtifact@2
       displayName: 'Download macOS Build'
       inputs:
         artifactName: 'macOsBuild'