diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index 9ae1deae..15008221 100644
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -7,6 +7,7 @@ on:
   pull_request:
     branches:
       - main
+      - svcomp24
 
 jobs:
   build64:
@@ -16,28 +17,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: