From 63d81f885d244bf32def216066117117cb043cce Mon Sep 17 00:00:00 2001
From: Marmaduke Woodman <marmaduke.woodman@univ-amu.fr>
Date: Fri, 31 May 2024 13:00:44 +0200
Subject: [PATCH] try lighter test run for PRs?

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 9d382354b6..e0da2c851f 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -104,7 +104,7 @@ jobs:
         uses: actions/setup-python@v4
         id: setPy
         with:
-          python-version: 3.10
+          python-version: '3.10'
 
       - name: put ~/.local/bin on $PATH
         run: echo "PATH=$HOME/.local/bin:$PATH" >> $GITHUB_ENV