fix: update python in halmos step

Author: horsefacts

.github/workflows/ci.yml

@@ -130,7 +130,7 @@ jobs:
 
       - uses: actions/setup-python@v4
         with:
-          python-version: "3.11"
+          python-version: "3.13"
 
       - name: Install halmos
         run: pip install halmos