CI: move to ubuntu 22.04
MODIFY
.github/workflows/build.yml
.github/workflows/build.yml
@@ -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

CI: move to ubuntu 22.04