From 7e44676d9e3d7e85e310efeab5bb119220690be2 Mon Sep 17 00:00:00 2001
From: Jerome Kelleher <jk@well.ox.ac.uk>
Date: Wed, 1 May 2024 17:17:11 +0100
Subject: [PATCH] Add pin for sgkit 0.8.0 to dev requirements

---
 pyproject.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pyproject.toml b/pyproject.toml
index 8f1f046..3a9b9b5 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -53,7 +53,7 @@ dev = [
   "pytest",
   "pytest-coverage",
   "pytest-xdist",
-  "sgkit",
+  "sgkit>=0.8.0",
   "tqdm"
 ]