Sync beta and master

Author: yoav-el-certora

.circleci/config.yml

@@ -51,6 +51,7 @@ commands:
           command: |
             curl -L https://foundry.paradigm.xyz | bash
             ~/.foundry/bin/foundryup
+            echo "export PATH=$HOME/.foundry/bin:$PATH" >> $BASH_ENV
 
       - run:
           name: Get ExamplesRegtest