CI: switch to g++11 and 12
DELETE
.github/renovate.json
-{
- "extends": [
- "config:base"
- ]
-}

MODIFY
.github/workflows/build.yml
.github/workflows/build.yml
@@ -10,7 +10,7 @@ jobs:
strategy:
matrix:
os: [ubuntu-22.04]
- compiler: [g++-10, g++-11, clang++-13, clang++-14]
+ compiler: [g++-11, g++-12, clang++-13, clang++-14]
build_type: [Release, Debug]
include:
- os: macos-latest
@@ -35,7 +35,7 @@ jobs:
sudo add-apt-repository "deb http://apt.llvm.org/jammy/ llvm-toolchain-jammy-14 main"
fi
sudo apt-get update
- sudo apt-get install z3 re2c ninja-build g++-11
+ sudo apt-get install z3 re2c ninja-build g++-12
if [[ ${{ matrix.compiler }} == "clang++-13" ]]; then
sudo apt-get install clang++-13
fi

CI: switch to g++11 and 12