diff options
| author | Joris Roovers <joris.roovers@gmail.com> | 2023-02-09 10:27:27 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-09 10:27:27 +0000 |
| commit | 1eb7f98f3d1d6f416e645bcff03abc6442b3ec97 (patch) | |
| tree | bd0ba6e632b2ebc4f4a6efc5e4e5b4d3d7cd2ce3 | |
| parent | 891625366a636a68404ed4089fa0b792538cf5f6 (diff) | |
GHA: Additional sleep in wait-for-package (#435)
This will increase the odds of PYPI package replication to all servers having
finished.
| -rw-r--r-- | .github/workflows/publish-release.yml | 8 | ||||
| -rw-r--r-- | .github/workflows/test-release.yml | 2 |
2 files changed, 8 insertions, 2 deletions
diff --git a/.github/workflows/publish-release.yml b/.github/workflows/publish-release.yml index cd36192..d686b73 100644 --- a/.github/workflows/publish-release.yml +++ b/.github/workflows/publish-release.yml @@ -117,7 +117,7 @@ jobs: timeout_minutes: 1 max_attempts: 10 command: | - pip install --no-cache -i https://test.pypi.org/simple/ --extra-index-url https://pypi.org/simple gitlint==${{ needs.publish.outputs.gitlint_version }} + pip install --no-cache-dir -i https://test.pypi.org/simple/ --extra-index-url https://pypi.org/simple gitlint==${{ needs.publish.outputs.gitlint_version }} if: inputs.pypi_target == 'test.pypi.org' - name: gitlint --version @@ -125,6 +125,12 @@ jobs: gitlint --version [ "$(gitlint --version)" == "gitlint, version ${{ needs.publish.outputs.gitlint_version }}" ] + # Unfortunately, it's not because the newly published package installation worked once that replication + # has finished amongst all PyPI servers (subsequent installations might still fail). We sleep for 3 min here + # to increase the odds that replication has finished. + - name: Sleep + run: sleep 180 + test-release: needs: - publish diff --git a/.github/workflows/test-release.yml b/.github/workflows/test-release.yml index 5d45e70..caf00dd 100644 --- a/.github/workflows/test-release.yml +++ b/.github/workflows/test-release.yml @@ -58,7 +58,7 @@ jobs: - name: Install gitlint (test.pypi.org) run: | - pip install --no-cache -i https://test.pypi.org/simple/ --extra-index-url https://pypi.org/simple gitlint==${{ inputs.gitlint_version }} + pip install --no-cache-dir -i https://test.pypi.org/simple/ --extra-index-url https://pypi.org/simple gitlint==${{ inputs.gitlint_version }} if: inputs.pypi_source == 'test.pypi.org' - name: gitlint --version |