ci, docker: Parallelize tests with pytest-xdist

GaloisInc · Oct 6, 2022 · 8d191ab · 8d191ab
1 parent 18e2d6e
commit 8d191ab
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -92,7 +92,7 @@ jobs:
             --rm -v $(pwd):/work \
             --workdir /work \
             "ghcr.io/galoisinc/cclyzerpp-dev:${ref}" \
-            pytest -x
+            pytest -x -n=$(nproc)
 
       - name: Build and push dist image
         run: |

diff --git a/docker/dev.dockerfile b/docker/dev.dockerfile
@@ -43,5 +43,5 @@ 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
+RUN pip install pytest pytest-xdist
 # TODO(lb): Sphinx, Mypy