diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index c04b0f8f6..a42b1b4dd 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -10,7 +10,7 @@ jobs: strategy: matrix: os: [ubuntu-20.04] - compiler: [g++-10, g++-11, clang++-12, clang++-13] + compiler: [g++-10, g++-11, clang++-13, clang++-14] build_type: [Release, Debug] include: - os: macos-latest @@ -29,8 +29,9 @@ jobs: run: | wget -O- https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add - sudo add-apt-repository "deb http://apt.llvm.org/focal/ llvm-toolchain-focal-13 main" + sudo add-apt-repository "deb http://apt.llvm.org/focal/ llvm-toolchain-focal-14 main" sudo apt-get update - sudo apt-get install z3 re2c ninja-build g++-11 clang++-13 + sudo apt-get install z3 re2c ninja-build g++-11 clang++-13 clang++-14 - name: Install dependencies (MacOS) if: runner.os == 'macOS'