add libsecp256k1 to the CI

runtimeverification · Sep 19, 2023 · d3ae7da · d3ae7da
1 parent 111cb3a
commit d3ae7da
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -42,7 +42,7 @@ jobs:
     steps:
       - name: Install prerequisites
         run: |
-          sudo apt install --yes z3 secp256k1
+          sudo apt install --yes z3 libsecp256k1-dev
 
       - name: Check out code
         uses: actions/checkout@v3
@@ -76,7 +76,7 @@ jobs:
     steps:
       - name: Install prerequisites
         run: |
-          sudo apt install --yes z3 secp256k1
+          sudo apt install --yes z3 libsecp256k1-dev
 
       - name: Check out code
         uses: actions/checkout@v3
@@ -110,7 +110,7 @@ jobs:
     steps:
       - name: Install prerequisites
         run: |
-          sudo apt install --yes z3 secp256k1
+          sudo apt install --yes z3 libsecp256k1-dev
 
       - name: Check out code
         uses: actions/checkout@v3

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -156,7 +156,7 @@ jobs:
     steps:
       - name: Install prerequisites
         run: |
-          sudo apt install --yes z3 secp256k1
+          sudo apt install --yes z3 libsecp256k1-dev
 
       - uses: actions/checkout@v3
         with:
@@ -196,7 +196,7 @@ jobs:
     steps:
       - name: Install prerequisites
         run: |
-          sudo apt install --yes z3 secp256k1
+          sudo apt install --yes z3 libsecp256k1-dev
 
       - uses: actions/checkout@v3
         with:
@@ -239,7 +239,7 @@ jobs:
     steps:
       - name: Install prerequisites
         run: |
-          sudo apt install --yes z3 secp256k1
+          sudo apt install --yes z3 libsecp256k1-dev
 
       - uses: actions/checkout@v3
         with: