docker: Install specific versions of pytest{,-xdist}

GaloisInc · Oct 6, 2022 · d96ff8d · d96ff8d
1 parent 8d191ab
commit d96ff8d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/docker/dev.dockerfile b/docker/dev.dockerfile
@@ -43,5 +43,7 @@ RUN apt-get update && \
     update-alternatives --install /usr/bin/clang clang /usr/bin/clang-${LLVM_VERSION} 60 && \
     update-alternatives --install /usr/bin/opt opt /usr/bin/opt-${LLVM_VERSION} 60 && \
     rm -rf /var/lib/apt/lists/*
-RUN pip install pytest pytest-xdist
+RUN pip install \
+      pytest==7.1.3 \
+      pytest-xdist==2.5.0
 # TODO(lb): Sphinx, Mypy