add missing package again

runtimeverification · Oct 10, 2023 · 29bdeb6 · 29bdeb6
1 parent cdbd3af
commit 29bdeb6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/Dockerfile b/.github/workflows/Dockerfile
@@ -47,6 +47,7 @@ RUN    apt-get update              \
         libncurses5-dev            \
         libnss3-dev                \
         libreadline-dev            \
+        libsecp256k1-dev           \
         libsqlite3-dev             \
         libssl-dev                 \
         libyaml-dev                \