fix python CI

Author: aplr

.github/workflows/build_lean.yml

@@ -28,7 +28,7 @@ jobs:
       cancel-in-progress: ${{ github.event_name == 'pull_request' || github.ref_name != github.event.repository.default_branch }}
     strategy:
       matrix:
-        lean_version: [4.7.0, 4.8.0-rc2]
+        lean_version: ["4.7.0", "4.8.0-rc2"]
     permissions:
       contents: read
       packages: write

.github/workflows/build_python.yml

@@ -28,7 +28,7 @@ jobs:
       cancel-in-progress: ${{ github.event_name == 'pull_request' || github.ref_name != github.event.repository.default_branch }}
     strategy:
       matrix:
-        python_version: [3.9, 3.10, 3.11, 3.12]
+        python_version: ["3.9", "3.10", "3.11", "3.12"]
     permissions:
       contents: read
       packages: write