Install missing prerequisites for Ubuntu package on release (#3958)

This is a simple oversight on my part; I forgot to replicate this stanza from the test to the release job when making #3955.
runtimeverification · Jun 24, 2024 · 77e50ab · 77e50ab
1 parent e3a96d9
commit 77e50ab
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -65,6 +65,10 @@ jobs:
         with:
           submodules: recursive
 
+      - name: Install prerequisites
+        run: |
+          sudo apt install --yes debhelper z3 libsecp256k1-dev
+
       - name: Cache Stack root
         uses: actions/cache@v4
         with: