build: use ubuntu 20.04 instead of 22.04

nalgeon · Jul 18, 2023 · cdcaa13 · cdcaa13
1 parent 81f170e
commit cdcaa13
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -24,7 +24,7 @@ jobs:
         strategy:
             matrix:
                 include:
-                    - os: ubuntu-latest
+                    - os: ubuntu-20.04
                     - os: windows-latest
                     - os: macos-latest
 
@@ -39,7 +39,7 @@ jobs:
                   make download-external
 
             - name: Build for Linux
-              if: matrix.os == 'ubuntu-latest'
+              if: matrix.os == 'ubuntu-20.04'
               run: |
                   make compile-linux
                   make test-all