From e53f5c8543d5c57e05ab06565b8184e4b02dde91 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 10 Feb 2026 20:46:54 -0800
Subject: [PATCH] Rename publish-test.pypi to publish-test-pypi

---
 .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 c8fb8a62b..2f3b1c587 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]