From d25fbab3c8a2a6894a68556f0627b146c6bb24ee Mon Sep 17 00:00:00 2001
From: Bartosz Nowak <bartekn337@gmail.com>
Date: Fri, 1 Mar 2024 14:17:46 +0100
Subject: [PATCH] delete run.sh

---
 run.sh | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 run.sh

diff --git a/run.sh b/run.sh
deleted file mode 100755
index d6197daa5..000000000
--- a/run.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/usr/bin/env bash
-
-scarb build && \
-cargo run --release --bin runner -- ./target/dev/cairo_verifier.sierra.json < ./resources/main_proof.json
-
-scarb build && \
-cargo run --release --bin benches -- ./target/dev/cairo_verifier.sierra.json