use GLIBC 2.31

.github/workflows/main.yml

@@ -2,27 +2,31 @@ name: CI
 
 on:
   push:
-    branches: [ main ]
+    branches: [main]
   pull_request:
-    branches: [ main ]
+    branches: [main]
   workflow_dispatch:
 
 jobs:
   build-linux-x86:
     runs-on: ubuntu-22.04
+    container:
+      image: debian:11 # Debian Bullseye with GLIBC 2.31 for maximum compatibility
     steps:
       - uses: actions/checkout@v2
       - name: Install dependencies
-        run: sudo apt-get update && sudo apt-get install -y libcurl4-openssl-dev
+        run: |
+          apt-get update
+          DEBIAN_FRONTEND=noninteractive apt-get install -y build-essential libcurl4-openssl-dev zlib1g-dev curl git
       - name: Build
         run: cd src && make -f Makefile.linux-x86.mk
       - name: Install external tools
         run: |
-          sudo apt-get update
-          sudo apt-get install pari-gp
+          apt-get update
+          DEBIAN_FRONTEND=noninteractive apt-get install -y pari-gp
           # Install Lean 4 via elan (official installer)
           curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y
-          source ~/.elan/env
+          . ~/.elan/env
           echo "$HOME/.elan/bin" >> $GITHUB_PATH
           gp --version
           lean --version
@@ -31,11 +35,15 @@ jobs:
         env:
           LODA_TEST_WITH_EXTERNAL_TOOLS: 1
   build-linux-arm64:
-    runs-on: ubuntu-24.04-arm
+    runs-on: ubuntu-22.04-arm
+    container:
+      image: debian:11 # Debian Bullseye with GLIBC 2.31 for maximum compatibility
     steps:
       - uses: actions/checkout@v2
       - name: Install dependencies
-        run: sudo apt-get update && sudo apt-get install -y libcurl4-openssl-dev
+        run: |
+          apt-get update
+          DEBIAN_FRONTEND=noninteractive apt-get install -y build-essential libcurl4-openssl-dev zlib1g-dev
       - name: Build
         run: cd src && make -f Makefile.linux-arm64.mk
       - name: Test

.github/workflows/release.yml

@@ -42,10 +42,14 @@ jobs:
   build-linux-x86:
     needs: create-release
     runs-on: ubuntu-22.04
+    container:
+      image: debian:11 # Debian Bullseye with GLIBC 2.31 for maximum compatibility
     steps:
       - uses: actions/checkout@v2
       - name: Install dependencies
-        run: sudo apt-get update && sudo apt-get install -y libcurl4-openssl-dev
+        run: |
+          apt-get update
+          DEBIAN_FRONTEND=noninteractive apt-get install -y build-essential libcurl4-openssl-dev zlib1g-dev
       - name: Build
         run: cd src && make -f Makefile.linux-x86.mk loda LODA_PLATFORM=linux-x86 LODA_VERSION=${{ needs.create-release.outputs.version }}
       - name: Upload
@@ -59,11 +63,15 @@ jobs:
           GITHUB_TOKEN: ${{ github.token }}
   build-linux-arm64:
     needs: create-release
-    runs-on: ubuntu-24.04-arm
+    runs-on: ubuntu-22.04-arm
+    container:
+      image: debian:11 # Debian Bullseye with GLIBC 2.31 for maximum compatibility
     steps:
       - uses: actions/checkout@v2
       - name: Install dependencies
-        run: sudo apt-get update && sudo apt-get install -y libcurl4-openssl-dev
+        run: |
+          apt-get update
+          DEBIAN_FRONTEND=noninteractive apt-get install -y build-essential libcurl4-openssl-dev zlib1g-dev
       - name: Build
         run: cd src && make -f Makefile.linux-arm64.mk loda LODA_PLATFORM=linux-arm64 LODA_VERSION=${{ needs.create-release.outputs.version }}
       - name: Upload

CHANGELOG.md

@@ -1,7 +1,10 @@
 ## [Unreleased]
 
+## v26.3.14
+
 ### Bugfixes
 
+* Linux build: GLIBC 2.31 compatibility
 * Update memory settings and fix inconsistencies
 
 ## v26.3.10