na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jan 20, 2021 · 3bc18ab · 3bc18ab
1 parent ec5d08a
commit 3bc18ab
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/scripts/release.yml b/scripts/release.yml
@@ -6,7 +6,7 @@
 trigger: none
 
 variables:
-  ReleaseVersion: '4.8.9'
+  ReleaseVersion: '4.8.10'
 
 stages:
 
@@ -46,7 +46,7 @@ stages:
   - job: UbuntuBuild
     displayName: "Ubuntu build"
     pool:
-      vmImage: "ubuntu-16.04"
+      vmImage: "ubuntu-latest"
     steps:
     - task: PythonScript@0
       displayName: Build
@@ -231,7 +231,7 @@ stages:
   - job: PythonPackage
     displayName: "Python packaging"
     pool:
-      vmImage: "ubuntu-16.04"
+      vmImage: "ubuntu-latest"
     steps:
     - task: DownloadPipelineArtifact@2
       displayName: 'Download macOS Build'
@@ -344,7 +344,7 @@ stages:
     condition: eq(0,1)
     displayName: "Publish to PyPI"
     pool:
-      vmImage: "ubuntu-16.04"
+      vmImage: "ubuntu-latest"
     steps:
     - task: DownloadPipelineArtifact@2
       inputs: