From cb1e16fd76dc2f35ef3a7f290a4e0bab10fe97f6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 27 Mar 2022 17:42:16 -1000
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 c5c788072..e25a4cece 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -414,7 +414,7 @@ stages:
         targetPath: src/api/python/dist
 
   - job: PythonArm
-    condition eq(0,1)
+    condition: eq(0,1)
     displayName: "Python Arm packaging"
     pool:
       vmImage: "ubuntu-latest"