fix: add foundry to CI for Halmos

morpho-org · Apr 2, 2024 · 7aebf25 · 7aebf25
1 parent 7d7bfa9
commit 7aebf25
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/halmos.yml b/.github/workflows/halmos.yml
@@ -19,6 +19,9 @@ jobs:
       - name: Install python
         uses: actions/setup-python@v4
 
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+
       - name: Install halmos
         run: pip install halmos