Skip to content

Commit 1fde3e9

Browse files
update release
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
1 parent 1d6616a commit 1fde3e9

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
@@ -583,7 +583,7 @@ stages:
583583

584584
# Enable on release:
585585
- job: PyPIPublish
586-
condition: eq(1,0)
586+
condition: eq(1,1)
587587
displayName: "Publish to PyPI"
588588
pool:
589589
vmImage: "ubuntu-latest"

0 commit comments

Comments
 (0)