diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py
index 18dcb52f0..dd5659ba5 100644
--- a/scripts/mk_nuget_task.py
+++ b/scripts/mk_nuget_task.py
@@ -86,6 +86,10 @@ def mk_icon(source_root):
mk_dir("out/content")
shutil.copy(f"{source_root}/resources/icon.jpg", "out/content/icon.jpg")
+def mk_readme(source_root):
+ mk_dir("out/content")
+ shutil.copy(f"{source_root}/src/api/dotnet/README.md", "out/content/icon.jpg")
+
def create_nuget_spec(version, repo, branch, commit, symbols, arch):
@@ -105,6 +109,7 @@ Linux Dependencies:
© Microsoft Corporation. All rights reserved.
smt constraint solver theorem prover
content/icon.jpg
+ content/README.md
https://github.com/Z3Prover/z3
MIT
@@ -142,6 +147,7 @@ class Env:
unpack(self.packages, self.symbols, self.arch)
mk_targets(self.source_root)
mk_icon(self.source_root)
+ mk_readme(self.source_root)
create_nuget_spec(self.version, self.repo, self.branch, self.commit, self.symbols, self.arch)
def main():
diff --git a/scripts/release.yml b/scripts/release.yml
index 5f049345c..6b4fbdb66 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -583,7 +583,7 @@ stages:
# Enable on release:
- job: PyPIPublish
- condition: eq(1,1)
+ condition: eq(1,0)
displayName: "Publish to PyPI"
pool:
vmImage: "ubuntu-latest"