Increases the Release job delay to 1m.

30s is not enough.
main
tommie 2023-06-16 15:47:43 +02:00 committed by GitHub
parent fb6de5a612
commit c619e5a837
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 2 deletions

View File

@ -241,6 +241,8 @@ jobs:
# GitHub shows an inconsistent delay with pulling right after pushing. Since we push
# for multiple distributions, we have to make sure the next checkout doesn't conflict
# with the current.
- name: Delay 30 seconds for pushed changes to be visible
run: sleep 30s
#
# TODO: merge artefacts so we don't need one Release job per distribution.
- name: Delay 1m for pushed changes to be visible
run: sleep 1m
shell: bash