Update random_issue.yml

leanprover-community · Dec 18, 2024 · 2f6c8bd · 2f6c8bd
1 parent 9fbe2ca
commit 2f6c8bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/random_issue.yml b/.github/workflows/random_issue.yml
@@ -17,7 +17,7 @@ jobs:
     - name: Setup Python
       uses: actions/setup-python@v5
       with:
-        python-version: '3.13'
+        python-version: '3.12'
 
     - name: Install python packages
       run: |