From 6a46f2ba220e60b754843a2a1c86b89dd9264836 Mon Sep 17 00:00:00 2001
From: PabloAndresCQ <pablo.andresmartinez@quantinuum.com>
Date: Tue, 4 Jun 2024 13:53:13 +0100
Subject: [PATCH] Attempting to pip install pytket before mypy runs

---
 .github/workflows/build-test | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build-test b/.github/workflows/build-test
index d1147b3d..b189269c 100644
--- a/.github/workflows/build-test
+++ b/.github/workflows/build-test
@@ -61,5 +61,6 @@ fi
 
 if [[ "${MYPY}" = "mypy" ]]
 then
+    python -m pip install pytket
     ${GITHUB_WORKSPACE}/mypy-check ${GITHUB_WORKSPACE}
 fi
\ No newline at end of file