build: switch from ubuntu 20.04 to latest

Author: nalgeon

.github/workflows/build.yml

@@ -24,7 +24,7 @@ jobs:
         strategy:
             matrix:
                 include:
-                    - os: ubuntu-20.04
+                    - os: ubuntu-latest
                     - os: windows-latest
                     - os: macos-latest
 
@@ -39,7 +39,7 @@ jobs:
                   make download-external
 
             - name: Build for Linux
-              if: matrix.os == 'ubuntu-20.04'
+              if: matrix.os == 'ubuntu-latest'
               run: |
                   make compile-linux
                   make ctest-all

.github/workflows/publish.yml

@@ -18,7 +18,7 @@ jobs:
         strategy:
             matrix:
                 include:
-                    - os: ubuntu-20.04
+                    - os: ubuntu-latest
                     - os: windows-latest
                     - os: macos-latest
 
@@ -33,7 +33,7 @@ jobs:
                   make download-external
 
             - name: Build for Linux
-              if: matrix.os == 'ubuntu-20.04'
+              if: matrix.os == 'ubuntu-latest'
               run: |
                   sudo apt update
                   sudo apt install -y gcc-aarch64-linux-gnu