just copy cvc-bin

ucsd-progsys · Dec 18, 2024 · 82e4120 · 82e4120
1 parent 48935ed
commit 82e4120
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -26,7 +26,7 @@ jobs:
             unzip cvc5-Linux-x86_64-static.zip
             rm -f cvc5-Linux-x86_64-static.zip
             sudo cp cvc5-Linux-x86_64-static/bin/cvc5 /usr/local/bin
-            rm -f cvc5-Linux-x86_64-static
+            rm -rf cvc5-Linux-x86_64-static
             cvc5 --version
       - checkout
       - restore_cache: