logos-blockchain/logos-blockchain-circuits
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-circuits.git synced 2026-04-10 21:03:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #14 from logos-blockchain/copilot/fix-build-macos-job

Browse Source 
fix(ci): add missing Replace Prover Makefile step to build-macos job
This commit is contained in:
Daniel Sanchez 2026-03-08 10:37:28 +00:00 committed by GitHub
commit 493f83b938
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/build-circuits.yml vendored
View File

@ -1126,6 +1126,9 @@ jobs:
- name: Initialise Submodules
run: git submodule update --init --recursive
- name: Replace Prover Makefile
run: cp .github/resources/prover/Makefile rapidsnark/Makefile
- name: Setup Dependencies
run: mkdir include