Reset angr-platforms branch

angr · Dec 19, 2023 · f3fbc2b · f3fbc2b
1 parent 1c4f920
commit f3fbc2b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -96,7 +96,7 @@ jobs:
 
       # Extended packages
       # angr-platforms
-      - run: git clone https://github.com/angr/angr-platforms.git -b riscv/disable-prologs
+      - run: git clone https://github.com/angr/angr-platforms.git
       - run: pip install ./angr-platforms
       # pysoot
       - run: git clone https://github.com/angr/pysoot.git