diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 451d57c59..c7aa33855 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -10,7 +10,7 @@ jobs: strategy: matrix: os: [ubuntu-24.04] - compiler: [g++-14, clang++-19, clang++-20] + compiler: [g++-14, clang++-18] build_type: [Release, Debug] cache: ['', Redis] include: @@ -29,20 +29,20 @@ jobs: if: runner.os == 'Linux' run: | wget -O- https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add - - if [[ ${{ matrix.compiler }} == "clang++-19" ]]; then - sudo add-apt-repository "deb http://apt.llvm.org/noble/ llvm-toolchain-noble-19 main" + if [[ ${{ matrix.compiler }} == "clang++-18" ]]; then + sudo add-apt-repository "deb http://apt.llvm.org/noble/ llvm-toolchain-noble-18 main" fi - if [[ ${{ matrix.compiler }} == "clang++-20" ]]; then + if [[ ${{ matrix.compiler }} == "clang++-19" ]]; then sudo add-apt-repository "deb http://apt.llvm.org/noble/ llvm-toolchain-noble main" fi sudo apt-get update sudo apt-get install z3 re2c ninja-build + if [[ ${{ matrix.compiler }} == "clang++-18" ]]; then + sudo apt-get install clang++-18 + fi if [[ ${{ matrix.compiler }} == "clang++-19" ]]; then sudo apt-get install clang++-19 fi - if [[ ${{ matrix.compiler }} == "clang++-20" ]]; then - sudo apt-get install clang++-20 - fi if [[ "${{ matrix.cache }}" == "Redis" ]]; then sudo apt-get install libhiredis-dev fi