Skip to content

Commit c690279

Browse files
skip pypi publish during dry run
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
1 parent 77aa528 commit c690279

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

scripts/release.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -643,7 +643,7 @@ stages:
643643

644644
# Enable on release:
645645
- job: PyPIPublish
646-
condition: eq(1,1)
646+
condition: eq(1,0)
647647
displayName: "Publish to PyPI"
648648
pool:
649649
vmImage: "ubuntu-latest"

0 commit comments

Comments
 (0)