Use custom angr branch

angr · Dec 20, 2023 · 831f8c7 · 831f8c7
1 parent e1bf90d
commit 831f8c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -84,7 +84,7 @@ jobs:
       - run: git clone https://github.com/angr/ailment.git
       - run: pip install ./ailment
       # angr
-      - run: git clone https://github.com/angr/angr.git
+      - run: git clone https://github.com/angr/angr.git -b fix/cfgfast-make-return-edges-not-assume-integer
       - run: sed -i 's/pyvex[^"]*/pyvex/g' angr/pyproject.toml  # FIXME: temporary workaround for == versions
       - run: pip install ./angr
       # angr management