Hotfix: Fix Dockerfile.dev given benchmarking changes (#102)

dqii · web-flow · commit 5c794a424f72 · 2023-09-02T16:13:16.000-07:00
diff --git a/Dockerfile.dev b/Dockerfile.dev
@@ -17,6 +17,7 @@ RUN apt update \
        gdb \
        wget \
        python3-pip \
+       python3-dev \
        sudo \
        curl \
        git-all \
