Skip to content

Commit

Permalink
Add more instruction in case we need to remove a pr from the queue
Browse files Browse the repository at this point in the history
  • Loading branch information
tcarmet committed Mar 6, 2024
1 parent 94e302b commit 829cd8a
Showing 1 changed file with 16 additions and 0 deletions.
16 changes: 16 additions & 0 deletions bert_e/templates/queue_build_failed.md
Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,21 @@ The corresponding build for the queue failed:
- Checkout the [status page]({{ frontend_url }}).
- Identify the failing build and review the logs.
- If no issue is found, re-run the build.
- If an issue is identified, checkout the steps below to remove
the pull request from the queue.

<details>
<summary><b>Remove the pull request from the queue</b></summary>

- Add a `/wait` comment on the pull request.
- Click on login on the [status page]({{ frontend_url }})
- Go into the [manage]({{ frontend_url }}/manage) page.
- Find the option called `Rebuild the queue` and click on it.
This will remove the pull request from the queue.
- Wait for the new queue to merge, then update your pull request
with the latest change to then work on a proper fix.

</details>


{% endblock %}

0 comments on commit 829cd8a

Please sign in to comment.