message: github actions: no need to install clang
diff: @@ -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
  