From c33b1e3082ad8875863500c747b37d75ebdc01bd Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 13 Jan 2023 16:27:58 -0800
Subject: [PATCH] fixup manylinux reference in release script

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/release.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/scripts/release.yml b/scripts/release.yml
index 92b60c5b1..201e6de20 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -124,11 +124,10 @@ stages:
     displayName: "ManyLinux build"
     variables:
       name: ManyLinux
-      image: "quay.io/pypa/manylinux2014_x86_64:latest"
       python: "/opt/python/cp37-cp37m/bin/python"
     pool:
       vmImage: "ubuntu-latest"
-    container: "quay.io/pypa/manylinux2010_x86_64:latest"
+    container: "quay.io/pypa/manylinux2014_x86_64:latest"
     steps:
     - task: PythonScript@0
       displayName: Build