re-add pybind11 in ci

pantor · Sep 5, 2024 · 4493a5a · 4493a5a
1 parent b860bd3
commit 4493a5a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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