chore: add setuptools

morpho-org · Apr 16, 2024 · fd6adac · fd6adac
1 parent ff1427a
commit fd6adac
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -29,7 +29,7 @@ jobs:
           - Transfer
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           submodules: recursive
 

diff --git a/.github/workflows/halmos.yml b/.github/workflows/halmos.yml
@@ -12,7 +12,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           submodules: recursive
 
@@ -25,7 +25,7 @@ jobs:
         uses: foundry-rs/foundry-toolchain@v1
 
       - name: Install halmos
-        run: pip install halmos
+        run: pip install halmos setuptools
 
       - name: Run Halmos
         run: halmos