From 67456c5b27957dcf84257c2292210aa3be5e36b4 Mon Sep 17 00:00:00 2001
From: parazyd <parazyd@dyne.org>
Date: Wed, 5 Feb 2025 18:37:45 +0100
Subject: [PATCH] chore: Fix CI

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index d31f0e54e..d5a94749c 100644
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,10 @@ RUST_TARGET = $(shell rustc -Vv | grep '^host: ' | cut -d' ' -f2)
 #RUSTFLAGS = -C target-feature=+crt-static -C link-self-contained=yes
 
 # List of zkas circuits to compile, used for tests
-PROOFS_SRC = $(shell find proof -type f -name '*.zk')
+PROOFS_SRC = \
+	$(shell find proof -type f -name '*.zk') \
+	$(shell find bin/darkirc/proof -type f -name '*.zk')
+
 PROOFS_BIN = $(PROOFS_SRC:=.bin)
 
 # List of all binaries built