From e4bd40667514846397a7be251e9778ed5a3c526c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 12 Jan 2023 16:27:33 -0800
Subject: [PATCH] update version of manylinux

---
 scripts/nightly.yaml | 2 +-
 scripts/release.yml  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 55fcb147f..a9490e3ea 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -91,7 +91,7 @@ stages:
     displayName: "ManyLinux build"
     pool:
       vmImage: "ubuntu-latest"
-    container: "quay.io/pypa/manylinux2010_x86_64:latest"
+    container: "quay.io/pypa/manylinux2014_x86_64:latest"
     steps:
     - script: $(python) scripts/mk_unix_dist.py --nodotnet --nojava
     - script: git clone https://github.com/z3prover/z3test z3test
diff --git a/scripts/release.yml b/scripts/release.yml
index 53d937b69..a82557c1e 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -124,7 +124,7 @@ stages:
     displayName: "ManyLinux build"
     variables:
       name: ManyLinux
-      image: "quay.io/pypa/manylinux2010_x86_64:latest"
+      image: "quay.io/pypa/manylinux2014_x86_64:latest"
       python: "/opt/python/cp37-cp37m/bin/python"
     pool:
       vmImage: "ubuntu-latest"