From 690254d70f62d3c3aa48b06f87dc7b3a84a75c50 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sun, 8 Mar 2026 10:35:06 +0000
Subject: [PATCH] fix: add missing Replace Prover Makefile step to build-macos
 job

Co-authored-by: danielSanchezQ <1133113+danielSanchezQ@users.noreply.github.com>
---
 .github/workflows/build-circuits.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/build-circuits.yml b/.github/workflows/build-circuits.yml
index 5689388..427a07c 100644
--- a/.github/workflows/build-circuits.yml
+++ b/.github/workflows/build-circuits.yml
@@ -919,6 +919,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