search

Mic92 / nixpkgs-review

Review pull-requests on https://github.com/NixOS/nixpkgs
MIT License
350 stars 59 forks source link

Make `--no-shell` not exit early #402

Closed pbsds closed 3 weeks ago

pbsds commented 3 weeks ago

This makes --no-shell --post-result with multiple PRs post more than just the first report.

Mic92 commented 3 weeks ago

@mergify queue

mergify[bot] commented 3 weeks ago

queue

☑️ GitHub can't merge the pull request for now.

GitHub can't merge the pull request for an unknown reason. You should retry later.
Mic92 commented 3 weeks ago

@mergify queue

mergify[bot] commented 3 weeks ago

queue

🛑 The pull request has been removed from the queue default

Pull request #402 has been dequeued. GitHub can't merge the pull request for now.. GitHub can't merge the pull request for an unknown reason. You should retry later.. You can take a look at `Queue: Embarked in merge queue` check runs for more details. In case of a failure due to a flaky test, you should first retrigger the CI. Then, re-embark the pull request into the merge queue by posting the comment `@mergifyio refresh` on the pull request.