github actions: no need to install clang
MODIFY
.github/workflows/build.yml
.github/workflows/build.yml
@@ -27,15 +27,14 @@ jobs:
- name: Install dependencies (Linux)
if: runner.os == 'Linux'
run: |
- wget -O- https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
- sudo add-apt-repository "deb http://apt.llvm.org/focal/ llvm-toolchain-focal-12 main"
- sudo apt-get update
- sudo apt-get install z3 re2c ninja-build clang-12 g++-11
+ #wget -O- https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
+ #sudo add-apt-repository "deb http://apt.llvm.org/focal/ llvm-toolchain-focal-12 main"
+ #sudo apt-get update
+ sudo apt-get install z3 re2c ninja-build g++-11
- name: Install dependencies (MacOS)
if: runner.os == 'macOS'
- run: |
- brew install z3 re2c ninja
+ run: brew install z3 re2c ninja
- name: Compile
run: ./.github/scripts/build.sh

github actions: no need to install clang