From 2301fce65ee9f0405e2fe770504d330d32e89889 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 11 Feb 2021 09:44:03 -0800
Subject: [PATCH] it helps to spell

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index e8175a3df..769228781 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -33,7 +33,7 @@ stages:
         artifactName: 'Ubuntu'
         targetPath: $(Build.ArtifactStagingDirectory)
 
-  - job: UbuntoDoc
+  - job: UbuntuDoc
     displayName: "Ubuntu Doc build"
     pool:
       vmImage: "Ubuntu-18.04"