mirror of
https://github.com/ggerganov/llama.cpp.git
synced 2024-11-22 08:17:58 +01:00
Updated PR And Issue Tickets Maintenance (markdown)
parent
9a2c5c7ba9
commit
f483ce1aa1
@ -22,9 +22,10 @@
|
|||||||
* [Approved And CI Not Passed](https://github.com/ggerganov/llama.cpp/pulls?q=is%3Apr+is%3Aopen+review%3Aapproved+status%3Afailure)
|
* [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
|
- Useful to find any PRs that is already approved and but needs focused CI fixes to get back on track
|
||||||
|
|
||||||
#### Using CI Status Filtes
|
#### Using CI Status Filters
|
||||||
|
|
||||||
|
[search issue and PR(https://docs.github.com/en/search-github/searching-on-github/searching-issues-and-pull-requests#search-by-commit-status)
|
||||||
|
|
||||||
Note: Here is [how to use CI status filters](https://github.blog/2015-06-02-filter-pull-requests-by-status/) (This was not documented in main github docs as [noted in here](https://github.com/refined-github/refined-github/issues/1806))
|
|
||||||
* `status:success` Only pull requests with all successful statuses
|
* `status:success` Only pull requests with all successful statuses
|
||||||
* `status:failure` Only pull requests that have statuses in the failure or error state
|
* `status:failure` Only pull requests that have statuses in the failure or error state
|
||||||
* `status:pending` Only pull requests with no statuses or at least one status in the pending state
|
* `status:pending` Only pull requests with no statuses or at least one status in the pending state
|
||||||
|
Loading…
Reference in New Issue
Block a user