add lsof to docker image for CI

runtimeverification · Jan 31, 2024 · 8686224 · 8686224
1 parent 7addf8f
commit 8686224
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/Dockerfile b/.github/workflows/Dockerfile
@@ -55,6 +55,7 @@ RUN    apt-get update              \
         lld-${LLVM_VERSION}        \
         llvm-${LLVM_VERSION}-tools \
         locales                    \
+        lsof                       \
         maven                      \
         openjdk-${JDK_VERSION}-jdk \
         parallel                   \