From e989edf5deef500abdcd7054ade01da602ae91cd Mon Sep 17 00:00:00 2001
From: edouardbruelhart <edouar.bruelhart@unifr.ch>
Date: Sat, 6 Apr 2024 16:55:16 +0200
Subject: [PATCH] some changes

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 521d752..59afbda 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -23,7 +23,7 @@ jobs:
         uses: ./.github/actions/setup-poetry-env
 
       - name: install stubs
-        run: mypy --install-types
+        run: poetry run mypy --install-types
 
       - name: Run checks
         run: make check