From 4493a5aef91de629b5e40241a2ba07d354c1230d Mon Sep 17 00:00:00 2001
From: pantor <lars.berscheid@online.de>
Date: Thu, 5 Sep 2024 22:11:58 +0200
Subject: [PATCH] re-add pybind11 in ci

---
 .github/workflows/ci.yml | 3 +++
 1 file changed, 3 insertions(+)

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