diff --git a/.github/workflows/test_dep_update.sh b/.github/workflows/test_dep_update.sh index 0b1b110..2fc3763 100755 --- a/.github/workflows/test_dep_update.sh +++ b/.github/workflows/test_dep_update.sh @@ -15,7 +15,15 @@ fi echo "$json" | jq '.[] | .headRefName | @text' | xargs -L1 -- git pull origin if nix build .#checks.x86_64-linux.init-example-el; then - echo "$json" | jq ".[] | .number | @text" | xargs -L1 -- gh pr merge --squash --delete-branch + prs=$(echo "$json" | jq ".[] | .number") + for pr in $prs; do + # Whenever there's a bunch of PRs to merge at the same time + # the GitHub API needs some time to update its internal + # state before allowing another PR to be merged. + sleep 5 + + gh pr merge --squash --delete-branch "$pr" + done else gh issue create \ --title "Recent Dependency update PRs failing tests" \ diff --git a/dbgmd-00001.sign b/dbgmd-00001.sign new file mode 100644 index 0000000..e69de29 diff --git a/result b/result new file mode 120000 index 0000000..8fa7b55 --- /dev/null +++ b/result @@ -0,0 +1 @@ +/nix/store/46rxb7v3yqisakm0sd0a7w28gxwnfs5g-emacs-with-packages-28.1 \ No newline at end of file