update nightly runner

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

scripts/mk_nuget_task.py

@@ -11,7 +11,6 @@
 
 import json
 import os
-import urllib.request
 import zipfile
 import sys
 import os.path
@@ -20,16 +19,6 @@
 import mk_util
 import mk_project
 
-#release_data = json.loads(urllib.request.urlopen("https://api.github.com/repos/Z3Prover/z3/releases/latest").read().decode())
-#release_tag_name = release_data['tag_name']
-#release_tag_ref_data = json.loads(urllib.request.urlopen("https://api.github.com/repos/Z3Prover/z3/git/refs/tags/%s" % release_tag_name).read().decode())
-#release_tag_sha = release_tag_ref_data['object']['sha']
-
-#release_version = release_tag_name[3:]
-#release_commit = release_tag_sha # release_tag_data['object']['sha']
-
-#print(release_version)
-
 def mk_dir(d):
     if not os.path.exists(d):
         os.makedirs(d)
@@ -166,7 +155,7 @@ def sign_nuget_package():
 
 
 def main():
-    packages = sys.argv[0]
+    packages = sys.argv[1]
     print(packages)
     mk_dir(packages)    
     unpack(packages)

scripts/nightly.yaml

@@ -88,7 +88,10 @@ jobs:
     inputs:
      artifactName: 'Ubuntu'
      targetPath: tmp
-  - script: python scripts/mk_nuget_task.py tmp
+  - script |
+       cd scripts 
+       python mk_nuget_task.py ../tmp
+       cd ..
 
 - job: Python
   displayName: "Python packaging"