CI: replace Ubuntu 20.04 with Ubuntu 22.04

Author: vmihalko

.github/workflows/linux.yml

@@ -16,28 +16,37 @@ jobs:
       matrix:
         include:
           # Linux with GCC
-          - {os: ubuntu-20.04, llvm: '6.0', compiler: gcc}
-          - {os: ubuntu-20.04, llvm: 7, compiler: gcc}
-          - {os: ubuntu-20.04, llvm: 8, compiler: gcc}
-          - {os: ubuntu-20.04, llvm: 9, compiler: gcc}
-          - {os: ubuntu-20.04, llvm: 10, compiler: gcc}
-          - {os: ubuntu-20.04, llvm: 10, compiler: gcc, type: Debug}
-          # FIXME: Edit when KLEE is rebased to latest upstream.
-          - {os: ubuntu-20.04, llvm: 11, compiler: gcc, klee: 'no-klee'}
-          - {os: ubuntu-20.04, llvm: 12, compiler: gcc, klee: 'no-klee'}
-          - {os: ubuntu-22.04, llvm: 13, compiler: gcc, klee: 'no-klee'}
+          - {os: ubuntu-22.04, llvm: '6.0', compiler: gcc}
+          - {os: ubuntu-22.04, llvm: 7, compiler: gcc}
+          - {os: ubuntu-22.04, llvm: 8, compiler: gcc}
+          - {os: ubuntu-22.04, llvm: 9, compiler: gcc}
+          - {os: ubuntu-22.04, llvm: 10, compiler: gcc}
+          - {os: ubuntu-22.04, llvm: 11, compiler: gcc}
+          - {os: ubuntu-22.04, llvm: 12, compiler: gcc}
+          - {os: ubuntu-22.04, llvm: 13, compiler: gcc}
+          - {os: ubuntu-22.04, llvm: 14, compiler: gcc}
+          - {os: ubuntu-22.04, llvm: 14, compiler: GCC, type: Debug}
+          - {os: ubuntu-22.04, llvm: 15, compiler: gcc}
+          - {os: ubuntu-22.04, llvm: 16, compiler: gcc}
+          - {os: ubuntu-22.04, llvm: 17, compiler: gcc}
+          - {os: ubuntu-22.04, llvm: 18, compiler: gcc}
+
 
           # Linux with Clang
-          - {os: ubuntu-20.04, llvm: '6.0', compiler: clang}
-          - {os: ubuntu-20.04, llvm: 7, compiler: clang}
-          - {os: ubuntu-20.04, llvm: 8, compiler: clang}
-          - {os: ubuntu-20.04, llvm: 9, compiler: clang}
-          - {os: ubuntu-20.04, llvm: 10, compiler: clang}
-          - {os: ubuntu-20.04, llvm: 10, compiler: clang, type: Debug}
-          # FIXME: Edit when KLEE is rebased to latest upstream.
-          - {os: ubuntu-20.04, llvm: 11, compiler: clang, klee: 'no-klee'}
-          - {os: ubuntu-20.04, llvm: 12, compiler: clang, klee: 'no-klee'}
-          - {os: ubuntu-22.04, llvm: 13, compiler: clang, klee: 'no-klee'}
+          - {os: ubuntu-22.04, llvm: '6.0', compiler: clang}
+          - {os: ubuntu-22.04, llvm: 7, compiler: clang}
+          - {os: ubuntu-22.04, llvm: 8, compiler: clang}
+          - {os: ubuntu-22.04, llvm: 9, compiler: clang}
+          - {os: ubuntu-22.04, llvm: 10, compiler: clang}
+          - {os: ubuntu-22.04, llvm: 11, compiler: clang}
+          - {os: ubuntu-22.04, llvm: 12, compiler: clang}
+          - {os: ubuntu-22.04, llvm: 13, compiler: clang}
+          - {os: ubuntu-22.04, llvm: 14, compiler: clang, type: Debug}
+          - {os: ubuntu-22.04, llvm: 15, compiler: clang}
+          - {os: ubuntu-22.04, llvm: 16, compiler: clang}
+          - {os: ubuntu-22.04, llvm: 17, compiler: clang}
+          - {os: ubuntu-22.04, llvm: 18, compiler: clang}
+
 
     runs-on: ${{matrix.os}}
     steps: