CI: increase publish retries (#1862)

This commit is contained in:
PJ Fanning 2025-05-23 14:43:04 +01:00 committed by GitHub
parent c44dc07ed8
commit fdbd1b3569
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 3 additions and 3 deletions

View file

@ -66,7 +66,7 @@ jobs:
env:
NEXUS_USER: ${{ secrets.NEXUS_USER }}
NEXUS_PW: ${{ secrets.NEXUS_PW }}
run: sbt +publish
run: sbt -Dsbt.repository.publish.attempts=10 +publish
- name: Build Documentation
run: |-

View file

@ -66,7 +66,7 @@ jobs:
env:
NEXUS_USER: ${{ secrets.NEXUS_USER }}
NEXUS_PW: ${{ secrets.NEXUS_PW }}
run: sbt +publish
run: sbt -Dsbt.repository.publish.attempts=10 +publish
- name: Build Documentation
run: |-

View file

@ -65,7 +65,7 @@ jobs:
env:
NEXUS_USER: ${{ secrets.NEXUS_USER }}
NEXUS_PW: ${{ secrets.NEXUS_PW }}
run: sbt +publish
run: sbt -Dsbt.repository.publish.attempts=10 +publish
- name: Build Documentation
run: |-