Merge pull request #1866 from GaloisInc/upgrade-poetry

CI: Upgrade Poetry version
GaloisInc · May 10, 2023 · e170f15 · e170f15
2 parents 5df5615 + ff35274
commit e170f15
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 5 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -354,7 +354,7 @@ jobs:
 
       - uses: abatilo/[email protected]
         with:
-          poetry-version: 1.1.5
+          poetry-version: 1.4.2
 
       - name: ${{ matrix.name }}
         shell: bash
@@ -518,7 +518,7 @@ jobs:
       - if: matrix.image == 'ghcr.io/galoisinc/saw-remote-api'
         uses: abatilo/[email protected]
         with:
-          poetry-version: 1.1.5
+          poetry-version: 1.4.2
 
       - if: matrix.image == 'ghcr.io/galoisinc/saw-remote-api'
         name: Test saw-remote-api

diff --git a/deps/argo b/deps/argo
diff --git a/deps/cryptol b/deps/cryptol
diff --git a/saw-remote-api/python/pyproject.toml b/saw-remote-api/python/pyproject.toml
@@ -21,4 +21,5 @@ argo-client = "0.0.11"
 mypy = "^0.991"
 
 [build-system]
-requires = ["poetry>=1.1.4", "setuptools>=40.8.0"]
+requires = ["poetry-core>=1.0.0"]
+build-backend = "poetry.core.masonry.api"
+4 −4		.github/workflows/ci.yml
+4 −4		argo/argo.cabal
+2 −2		file-echo-api/file-echo-api.cabal
+6 −0		python/CHANGELOG.md
+42 −111		python/poetry.lock
+5 −4		python/pyproject.toml
+5 −5		.github/workflows/ci.yml
+9 −1		cryptol-remote-api/CHANGELOG.md
+21 −1		cryptol-remote-api/docs/Cryptol.rst
+9 −1		cryptol-remote-api/python/CHANGELOG.md
+10 −0		cryptol-remote-api/python/cryptol/commands.py
+19 −1		cryptol-remote-api/python/cryptol/connection.py
+68 −1		cryptol-remote-api/python/cryptol/cryptoltypes.py
+13 −3		cryptol-remote-api/python/cryptol/single_connection.py
+25 −11		cryptol-remote-api/python/cryptol/synchronous.py
+2 −1		cryptol-remote-api/python/pyproject.toml
+33 −0		cryptol-remote-api/python/tests/cryptol/test-files/Names.cry
+48 −0		cryptol-remote-api/python/tests/cryptol/test_names.py
+2 −2		cryptol-remote-api/src/CryptolServer/Data/Type.hs
+52 −17		cryptol-remote-api/src/CryptolServer/Names.hs
+1 −1		deps/argo
+1 −1		src/Cryptol/ModuleSystem/NamingEnv.hs