Skip to content

Commit

Permalink
update CI to ubuntu 24
Browse files Browse the repository at this point in the history
  • Loading branch information
nunoplopes committed May 16, 2024
1 parent 1dde69b commit eb1344b
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -30,10 +30,10 @@ jobs:
run: |
wget -O- https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
if [[ ${{ matrix.compiler }} == "clang++-18" ]]; then
sudo add-apt-repository "deb http://apt.llvm.org/jammy/ llvm-toolchain-jammy-18 main"
sudo add-apt-repository "deb http://apt.llvm.org/noble/ llvm-toolchain-noble-18 main"
fi
if [[ ${{ matrix.compiler }} == "clang++-19" ]]; then
sudo add-apt-repository "deb http://apt.llvm.org/jammy/ llvm-toolchain-jammy main"
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
Expand Down

0 comments on commit eb1344b

Please sign in to comment.