Skip to content

Commit a97ad76

Browse files
publish pypi
Signed-off-by: Nikolaj Bjorner <[email protected]>
1 parent 200ef23 commit a97ad76

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
@@ -581,7 +581,7 @@ stages:
581581

582582

583583
- job: NuGetPublish
584-
condition: eq(1,0)
584+
condition: eq(1,1)
585585
displayName: "Publish to NuGet.org"
586586
steps:
587587
- task: DownloadPipelineArtifact@2

0 commit comments

Comments
 (0)