Add llvm for objcopy on macos.

This commit is contained in:
Alejandro Cabeza Romero 2026-04-08 16:54:35 +02:00
parent 3a49985d16
commit 2130314463
No known key found for this signature in database
GPG Key ID: DA3D14AE478030FD

View File

@ -923,7 +923,7 @@ jobs:
run: mkdir include
- name: Install Dependencies [Witness Generator]
run: brew install nlohmann-json
run: brew install nlohmann-json llvm
- name: Install Dependencies [Prover]
run: brew install nasm m4