-
-
Notifications
You must be signed in to change notification settings - Fork 4.9k
jenkins: add page #19065
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
jenkins: add page #19065
Conversation
|
The build for this PR failed with the following error(s) at commit Please fix the error(s) and push again. |
|
I think you have checked out from It won't be a problem though since we squash and merge the PRs. But it is important to know your mistakes. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Update this placeholder across the page, it make more sense to have {{jenkins_server_url}} as the placeholder rather than what was there already.
Co-authored-by: Harshavardhan <[email protected]>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I've been procrastinating with reviewing this because the command is not a direct CLI word, but uses java instead. But I guess it's alright. The purpose here is to be a quickstart guide for anyone who wants to use the tool.
If you are a new contributor to the project, do not use AI to generate pages. We will close any PR with a suspicion of AI usage.
common,linux,osx,windows,sunos,android, etc.