diff options
author | Domen Kožar <domen@dev.si> | 2021-06-19 15:52:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-19 15:52:13 +0200 |
commit | 49bbb40680c505d5536d4eab3a05c7822593abac (patch) | |
tree | 8845f59471dde49d5d5ad4b3dfe8cc112853b0a1 /.github | |
parent | e3858348c432192341d8f2c55a50528f2b0c7424 (diff) | |
parent | b390b929bd454cec2a291b6bdcf8bee7946a87b7 (diff) | |
download | nixpkgs-49bbb40680c505d5536d4eab3a05c7822593abac.tar nixpkgs-49bbb40680c505d5536d4eab3a05c7822593abac.tar.gz nixpkgs-49bbb40680c505d5536d4eab3a05c7822593abac.tar.bz2 nixpkgs-49bbb40680c505d5536d4eab3a05c7822593abac.tar.lz nixpkgs-49bbb40680c505d5536d4eab3a05c7822593abac.tar.xz nixpkgs-49bbb40680c505d5536d4eab3a05c7822593abac.tar.zst nixpkgs-49bbb40680c505d5536d4eab3a05c7822593abac.zip |
Merge pull request #126826 from domenkozar/direct-push-eventually-consistent
direct-push action: delay to workaround eventually consistent DB
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/direct-push.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/direct-push.yml b/.github/workflows/direct-push.yml index 6177004295f..459475c3c6b 100644 --- a/.github/workflows/direct-push.yml +++ b/.github/workflows/direct-push.yml @@ -17,6 +17,9 @@ jobs: run: | ISMERGE=$(curl -H 'Accept: application/vnd.github.groot-preview+json' -H "authorization: Bearer ${{ secrets.GITHUB_TOKEN }}" https://api.github.com/repos/${{ env.GITHUB_REPOSITORY }}/commits/${{ env.GITHUB_SHA }}/pulls | jq -r '.[] | select(.merge_commit_sha == "${{ env.GITHUB_SHA }}") | any') echo "::set-output name=ismerge::$ISMERGE" + # github events are eventually consistent, so wait until changes propagate to thier DB + - run: sleep 60 + if: steps.ismerge.outputs.ismerge != 'true' - name: Warn if the commit was a direct push if: steps.ismerge.outputs.ismerge != 'true' uses: peter-evans/commit-comment@v1 |