bump python version

wilcoxjay · Apr 9, 2024 · 29bb75e · 29bb75e
1 parent 30b0dc1
commit 29bb75e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -8,7 +8,7 @@ jobs:
     runs-on: ubuntu-22.04
     strategy:
       matrix:
-        python-version: ["3.8"]
+        python-version: ["3.10"]
     env:
       Z3_VERSION: "4.11.2"
     steps: