message: CI: move to ubuntu 22.04
diff: @@ -9,7 +9,7 @@ jobs:
  strategy:
  matrix:
  - os: [ubuntu-20.04]
  + os: [ubuntu-22.04]
  compiler: [g++-10, g++-11, clang++-13, clang++-14]
  build_type: [Release, Debug]
  include:
  @@ -29,10 +29,10 @@ jobs:
  run: |
  wget -O- https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
  if [[ ${{ matrix.compiler }} == "clang++-13" ]]; then
  - sudo add-apt-repository "deb http://apt.llvm.org/focal/ llvm-toolchain-focal-13 main"
  + sudo add-apt-repository "deb http://apt.llvm.org/jammy/ llvm-toolchain-jammy-13 main"
  fi
  if [[ ${{ matrix.compiler }} == "clang++-14" ]]; then
  - sudo add-apt-repository "deb http://apt.llvm.org/focal/ llvm-toolchain-focal-14 main"
  + 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
  