GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-27 01:15:07 +03:00
Code Issues Projects Releases Wiki Activity

Add comments for ensuring that CI and cryptol-remote-api match versions.

Browse Source
This commit is contained in:
Ryan 2024-05-15 15:02:07 -06:00
parent 079de611bd
commit 74612f963d
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -100,6 +100,7 @@ jobs:
- uses: actions/setup-python@v2
with:
# Ensure pyproject.toml and python/mypy.ini are kept in sync with the Python version here.
python-version: '3.12'
- uses: abatilo/actions-poetry@v2.0.0
@ -322,6 +323,7 @@ jobs:
- if: matrix.suite == 'rpc'
uses: actions/setup-python@v2
with:
# Ensure cryptol-remote-api/python/{pyproject.toml,mypy.ini} are kept in sync with the Python version here.
python-version: '3.12'
- if: matrix.suite == 'rpc'
@ -464,6 +466,7 @@ jobs:
- if: matrix.image == 'ghcr.io/galoisinc/cryptol-remote-api'
uses: actions/setup-python@v2
with:
# Ensure cryptol-remote-api/python/{pyproject.toml,mypy.ini} are kept in sync with the Python version here.
python-version: '3.12'
- if: matrix.image == 'ghcr.io/galoisinc/cryptol-remote-api'

1
cryptol-remote-api/python/mypy.ini
View File

@ -1,5 +1,6 @@
[mypy]
no_implicit_optional = True
# Ensure .github/workflows/ci.yml and cryptol-remote-api/python/mypy.ini match the Python version used here.
python_version = 3.12
warn_return_any = True
warn_unused_configs = True