Skip to content

Commit 82333be

Browse files
chore: remove polling for pypi (#1251)
1 parent 5ee36de commit 82333be

File tree

1 file changed

+0
-27
lines changed

1 file changed

+0
-27
lines changed

.github/workflows/publish.yml

Lines changed: 0 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -118,33 +118,6 @@ jobs:
118118
env:
119119
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
120120

121-
wait-for-pypi:
122-
needs: build
123-
if: github.ref_name == 'dev'
124-
runs-on: ubuntu-latest
125-
steps:
126-
- name: Wait for PyPI propagation
127-
run: |
128-
VERSION=${{ needs.build.outputs.version }}
129-
echo "Waiting for writer==$VERSION to be available..."
130-
131-
MAX_RETRIES=20
132-
SLEEP_SECONDS=15
133-
COUNT=0
134-
135-
# check inside docker to avoid hitting the same mirror
136-
until docker run --rm python:3.11 pip install --no-deps "writer==$VERSION"; do
137-
COUNT=$((COUNT + 1))
138-
if [ $COUNT -ge $MAX_RETRIES ]; then
139-
echo "Timeout waiting for PyPI propagation. Version $VERSION still not available."
140-
exit 0
141-
fi
142-
echo "Version $VERSION not yet available, retrying in $SLEEP_SECONDS seconds..."
143-
sleep $SLEEP_SECONDS
144-
done
145-
146-
echo "Version $VERSION is now available"
147-
148121
trigger-agent-manager:
149122
needs: [build, wait-for-pypi]
150123
if: github.ref_name == 'dev'

0 commit comments

Comments
 (0)