Skip to content

Commit fa2c0e0

Browse files
enable release publish
Signed-off-by: Nikolaj Bjorner <[email protected]>
1 parent 85425a6 commit fa2c0e0

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
@@ -594,7 +594,7 @@ stages:
594594

595595
# Enable on release:
596596
- job: PyPIPublish
597-
condition: eq(1,0)
597+
condition: eq(1,1)
598598
displayName: "Publish to PyPI"
599599
pool:
600600
vmImage: "ubuntu-latest"

0 commit comments

Comments
 (0)