diff --git a/PR-And-Issue-Tickets-Maintenance.md b/PR-And-Issue-Tickets-Maintenance.md index ea39f65..5f31e7c 100644 --- a/PR-And-Issue-Tickets-Maintenance.md +++ b/PR-And-Issue-Tickets-Maintenance.md @@ -19,8 +19,8 @@ * [Approved And CI Passed](https://github.com/ggerganov/llama.cpp/pulls?q=is%3Apr+is%3Aopen+review%3Aapproved+status%3Asuccess) - Useful to find any PRs that is already approved and may be suitable for final check before either merging immediately or add a merging soon label -* [Approved And CI Not Passed](https://github.com/ggerganov/llama.cpp/pulls?q=is%3Apr+is%3Aopen+review%3Aapproved+status%3Afailed) - - Useful to find any PRs that is already approved and may be suitable for final check before either merging immediately or add a merging soon label +* [Approved And CI Not Passed](https://github.com/ggerganov/llama.cpp/pulls?q=is%3Apr+is%3Aopen+review%3Aapproved+status%3Afailure) + - Useful to find any PRs that is already approved and but needs focused CI fixes to get back on track #### Using CI Status Filtes