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.

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

tools: Allow trigger docker build manually #11641

Closed
wants to merge 1 commit into from

Conversation

no1wudi
Copy link
Contributor

@no1wudi no1wudi commented Feb 2, 2024

Summary

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.

Make it easier for downstream users to build their docker images.

For example, I‘m maintaining the CI infrastructure for WAMR on the wamr-ci-12.4(based on release/12.4) branch and have added some additional toolchains to the NuttX Dockerfile. If I want the CI to compile the images I need, I must ensure that my modifications to the Dockerfile are applied to the wamr-ci-12.4 branch, while also keeping this PR on the master branch. Considering that I often submit code to NuttX, this will cause some inconvenience (I must have this PR on my master branch to manually trigger the Docker build process).

Impact

Minor

Testing

CI

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]>
@acassis
Copy link
Contributor

acassis commented Feb 2, 2024

@no1wudi please include the Summary comment in the commit log message!

I think a documentation about how to use Docker with NuttX and CI should be nice! I did some initial documentation some time ago: https://acassis.wordpress.com/2023/01/21/how-i-create-a-docker-image-for-nuttx/ , but maybe with your expertise we could improve it and add into NuttX. What do you think?

@no1wudi
Copy link
Contributor Author

no1wudi commented Feb 3, 2024

@acassis Thanks for your information, let me try other approaches first.

@no1wudi no1wudi closed this Feb 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants