From feda43a2acde60bca0d08fd20be9fd89ed6c7f19 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 21 Dec 2025 12:13:02 -0800 Subject: [PATCH] indent Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index b1757f14d..3367ea0a8 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -198,7 +198,7 @@ stages: artifactName: 'ManyLinuxPythonBuildArm64-v1' targetPath: $(Build.ArtifactStagingDirectory) - - job: ManyLinuxPythonBuildArm64-V2 + - job: ManyLinuxPythonBuildArm64-V2 displayName: "Python bindings (manylinux Centos ARM64) build" timeoutInMinutes: 90 pool: