Remove old crypto library

runtimeverification · May 21, 2024 · 8405727 · 8405727
1 parent 49d2437
commit 8405727
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 37 deletions.
diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
@@ -24,9 +24,6 @@ jobs:
 
         brew install --build-from-source --verbose kframework 
 
-        brew install --build-from-source --verbose [email protected]
-        brew unlink [email protected]
-
         brew install --build-from-source --verbose [email protected] 
         brew unlink [email protected]
 

diff --git a/Formula/[email protected] b/Formula/[email protected]