Merge branch 'segment-arena-builtin' into verify-secure-program-segme…

…nt-size
lambdaclass · Mar 31, 2023 · dd3a494 · dd3a494
2 parents 5307f97 + a68bddc
commit dd3a494
Show file tree

Hide file tree

Showing 4 changed files with 280 additions and 180 deletions.
diff --git a/.github/workflows/iai_pr.yml b/.github/workflows/iai_pr.yml
@@ -25,7 +25,7 @@ jobs:
     - name: Install test dependencies
     # Note: change cairo-lang version is not set to 0.11 because main is still on 0.10.3 and this workflow would fail
       run: |
-        pip install ecdsa fastecdsa sympy typeguard==2.13.0 cairo-lang==0.10.3
+        pip install -r requirements.txt
         sudo apt update
         sudo apt install -y valgrind
     - name: Initialize IAI cache for ${{ github.event.pull_request.base.sha }}