From f278f3dd3bef5b7a3920f26258b17dcabba756df Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 10 Feb 2026 20:48:00 -0800
Subject: [PATCH] Fix indentation for publish-test-pypi job

---
 .github/workflows/nightly.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index 2f3b1c587..b14902660 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -713,7 +713,7 @@ jobs:
             $(cat release_files.txt | tr '\n' ' ')
 
 
-publish-test-pypi:
+  publish-test-pypi:
     name: "Publish to test.PyPI"
     if: ${{ github.event.inputs.publish_test_pypi == 'true' }}
     needs: [python-package]