fix docker build in github action

Pandora-IsoMemo · Sep 3, 2024 · 3d63656 · 3d63656
1 parent c1cd1c8
commit 3d63656
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -7,6 +7,7 @@ WORKDIR /workspace
 
 # Install system dependencies
 RUN apt-get update && \
+    apt-get install -y usrmerge && \
     apt-get install -y \
     libcurl4-openssl-dev \
     libgmp-dev \