From f8da9bf5768e00b320c1f1e99a9b06c61504146e Mon Sep 17 00:00:00 2001
From: David Rusu <davidrusu.me@gmail.com>
Date: Fri, 31 Oct 2025 12:51:03 +0400
Subject: [PATCH] build-circuits depends on key-gen

---
 .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 4454b3f..511b05a 100644
--- a/.github/workflows/build-circuits.yml
+++ b/.github/workflows/build-circuits.yml
@@ -170,6 +170,7 @@ jobs:
     runs-on: ubuntu-latest
     needs:
       - setup
+      - generate-proving-keys
     env:
       VERSION: ${{ needs.setup.outputs.version }}
       OS: linux
@@ -342,6 +343,7 @@ jobs:
     runs-on: windows-latest
     needs:
       - setup
+      - generate-proving-keys
     env:
       VERSION: ${{ needs.setup.outputs.version }}
       OS: windows
@@ -554,6 +556,7 @@ jobs:
     runs-on: macos-latest
     needs:
       - setup
+      - generate-proving-keys
     env:
       VERSION: ${{ needs.setup.outputs.version }}
       ARCH: aarch64