CI: Consistently use Python 3.11

GaloisInc · May 5, 2023 · cd11e50 · cd11e50
1 parent 7acc490
commit cd11e50
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -286,7 +286,7 @@ jobs:
       - if: matrix.suite == 'rpc'
         uses: actions/setup-python@v2
         with:
-          python-version: '3.7'
+          python-version: '3.11'
 
       - if: matrix.suite == 'rpc'
         uses: abatilo/actions-poetry@v2.1.2
@@ -422,7 +422,7 @@ jobs:
       - if: matrix.image == 'ghcr.io/galoisinc/cryptol-remote-api'
         uses: actions/setup-python@v2
         with:
-          python-version: '3.7'
+          python-version: '3.11'
 
       - if: matrix.image == 'ghcr.io/galoisinc/cryptol-remote-api'
         uses: abatilo/actions-poetry@v2.1.2