From c619e5a8373e53ffac510614a9423dca3c2d691b Mon Sep 17 00:00:00 2001 From: tommie Date: Fri, 16 Jun 2023 15:47:43 +0200 Subject: [PATCH] Increases the Release job delay to 1m. 30s is not enough. --- .github/workflows/main.yml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 91f19dd..61f7db0 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -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