From b64c869a3881c6fd14fd1509725f3c72bfb7a723 Mon Sep 17 00:00:00 2001
From: yoavelmalem <yoav.el@certora.com>
Date: Mon, 11 Aug 2025 10:58:39 +0300
Subject: [PATCH] Added foundry installation to CI

---
 .circleci/config.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index edd10bcc..f684dd19 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -46,6 +46,12 @@ commands:
             ssh-keyscan github.com >> ~/.ssh/known_hosts
             pip3.11 install git+ssh://git@github.com/Certora/ConfRunnerInfra.git
 
+      - run:
+          name: Install foundry
+          command: |
+            curl -L https://foundry.paradigm.xyz | bash
+            ~/.foundry/bin/foundryup
+
       - run:
           name: Get ExamplesRegtest
           command: |