| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
Sorry, something went wrong.
Sorry, something went wrong.
Sorry, something went wrong.
There was a problem hiding this comment.
LGTM
Sorry, something went wrong.
|
@H4ad This PR did not need a Jenkins CI run because it touches documentation only. |
Sorry, something went wrong.
|
@tniessen Oh, thanks for letting me know. In cases like this, should we just fast-track or there is another behavior? |
Sorry, something went wrong.
Any collaborator may suggest fast-tracking of such small doc-only changes by adding the fast-track label. But it's perfectly reasonable for a PR like this to wait for two days to land (without Jenkins CI) since it's not urgent by any means. IIRC, now that Jenkins CI has been started, we have to run it until it passes for the commit queue to not reject the PR, but perhaps I am misremembering or things have changed. |
Sorry, something went wrong.
Sorry, something went wrong.
Sorry, something went wrong.
Sorry, something went wrong.
|
Not sure what's going on with ARM... |
Sorry, something went wrong.
| Back | FazBrowse Home | New Git URL |
Refs: #47769