Skip to content
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.

Sign up for GitHub

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

Jump to bottom

tools: Allow trigger docker build manually #11641

Closed
wants to merge 1 commit into from
Closed

tools: Allow trigger docker build manually #11641

wants to merge 1 commit into from

Commits on Feb 2, 2024

  1. tools: Allow trigger docker build manually 

    In some cases, we may need to manually trigger the docker image building process,
for example, if the automatic build fails due to some reasons.

Signed-off-by: Huang Qi <[email protected]>
    @no1wudi
    no1wudi committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    e60a1f0 View commit details
    Browse the repository at this point in the history