GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-04 01:17:40 +03:00
Code Issues Projects Releases Wiki Activity

Update python version to 3.12 in CI

Browse Source
This commit is contained in:
Ryan 2024-05-14 21:20:07 -06:00
parent 6b3a888010
commit 03ceddf07d
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/ci.yml vendored
View File

@ -100,7 +100,7 @@ jobs:
- uses: actions/setup-python@v2
with:
python-version: '3.11'
python-version: '3.12'
- uses: abatilo/actions-poetry@v2.0.0
with:
@ -322,7 +322,7 @@ jobs:
- if: matrix.suite == 'rpc'
uses: actions/setup-python@v2
with:
python-version: '3.11'
python-version: '3.12'
- if: matrix.suite == 'rpc'
uses: abatilo/actions-poetry@v2.1.2
@ -464,7 +464,7 @@ jobs:
- if: matrix.image == 'ghcr.io/galoisinc/cryptol-remote-api'
uses: actions/setup-python@v2
with:
python-version: '3.11'
python-version: '3.12'
- if: matrix.image == 'ghcr.io/galoisinc/cryptol-remote-api'
uses: abatilo/actions-poetry@v2.1.2