Use the ubuntu-20.04 runner as 18.04 is deprecated

Author: cknitt

.github/workflows/ci.yml

@@ -11,7 +11,9 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [macos-latest, macos-arm, ubuntu-18.04, windows-latest]
+        # Stay on the oldest Ubuntu version that's still supported by Github Actions
+        # to avoid glibc incompatibilities as far as possible.
+        os: [macos-latest, macos-arm, ubuntu-20.04, windows-latest]
         # syntax explanation:
         # https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#example-including-additional-values-into-combinations
         include:
@@ -21,7 +23,7 @@ jobs:
           - os: macos-arm
             build: eval $(opam env) && cd analysis && make test
             artifact-folder: darwinarm64
-          - os: ubuntu-18.04
+          - os: ubuntu-20.04
             build: eval $(opam env) && cd analysis && make test
             artifact-folder: linux
           - os: windows-latest
@@ -83,7 +85,7 @@ jobs:
 
   package:
     needs: test
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-20.04
 
     steps:
     - uses: actions/[email protected]
@@ -115,7 +117,7 @@ jobs:
     - name: Download Linux binary
       uses: actions/[email protected]
       with:
-        name: ubuntu-18.04
+        name: ubuntu-20.04
         path: ./server/analysis_binaries
     - run: tar -xvf binary.tar
       working-directory: ./server/analysis_binaries