try side-by-side nightly

scripts/mk_nuget_task.py

@@ -25,7 +25,7 @@ os_info = {  'ubuntu-latest' : ('so', 'linux-x64'),
              'ubuntu-18' : ('so', 'linux-x64'),
              'ubuntu-20' : ('so', 'linux-x64'),
              'glibc-2.31' : ('so', 'linux-x64'),
-             'glibc' : ('so', 'linux-x64'),
+             'glibc-2.35' : ('so', 'linux-x64'),
              'x64-win' : ('dll', 'win-x64'),
              'x86-win' : ('dll', 'win-x86'),
              'x64-osx' : ('dylib', 'osx-x64'),

scripts/nightly.yaml

@@ -35,6 +35,20 @@ stages:
         artifactName: 'MacArm64'
         targetPath: $(Build.ArtifactStagingDirectory)
 
+  - job: Ubuntu
+    displayName: "Ubuntu build"
+    pool:
+      vmImage: "ubuntu-20.04"
+    steps:
+    - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk
+    - script: git clone https://github.com/z3prover/z3test z3test
+    - script: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2    
+    - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
+    - task: PublishPipelineArtifact@0
+      inputs:
+        artifactName: 'Ubuntu-20.04'
+        targetPath: $(Build.ArtifactStagingDirectory)
+
   - job: Ubuntu
     displayName: "Ubuntu build"
     pool:
@@ -512,6 +526,11 @@ stages:
       inputs:
         artifactName: 'Ubuntu'
         targetPath: tmp
+    - task: DownloadPipelineArtifact@2
+      displayName: "Download Ubuntu-20.04"
+      inputs:
+        artifactName: 'Ubuntu-20.04'
+        targetPath: tmp
     - task: DownloadPipelineArtifact@2
       displayName: "Download Doc"
       inputs: