diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b9983c2..0ad953d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -18,6 +18,9 @@ jobs: - name: Get cross-platform /dev/null for hidden output run: echo "HIDDEN=$(python3 -c "import os; print(os.devnull)")" >> $GITHUB_ENV + - name: Install pybind11 + run: git clone --depth 1 --branch v2.13.1 https://github.com/pybind/pybind11.git + - name: Install valgrind if: matrix.os == 'ubuntu-latest' run: sudo apt-get update && sudo apt-get install -y valgrind