Skip to content

Conversation

@JF002
Copy link
Collaborator

@JF002 JF002 commented May 15, 2022

NOTE : This PR replaces #1045 (it contains many 'tentative' commits and a merge probably failed which resulted in missing commits).

The main build workflow for GitHub Actions now uses the infinitime-build docker image to build the firmware. This allows to avoid the duplication of the build logic in Docker and Github workflow format. It also ensures that the project is built exactly the same way on dev environment and on Github Actions.

The Dockerfile has been slightly adapted (remove the USER instructions). Docker images are now published in DockerHub (jf002/infinitime-build).

  • Create a Docker account for InfiniTime and publish the images using this account.

…ild docker image to build the firmware. This allows to avoid the duplication of the build logic in Docker and Github workflow format.

The Dockerfile has been slightly adapted (remove the USER instructions). Docker images are now published in DockerHub (jf002/infinitime-build).
Copy link
Contributor

@NeroBurner NeroBurner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

small modernization with --platform parameter in docker readme

@JF002
Copy link
Collaborator Author

JF002 commented May 18, 2022

I've just created a Docker account for InfiniTime : https://hub.docker.com/repository/docker/infinitime/infinitime-build

@NeroBurner
Copy link
Contributor

This statement is obsolete, isn't it? The image per default runs as root and we should run the docker run commands with the --user parameter

The image is built using 1000:1000 for the user id and group id. If this is different to your user or group ids (run id -u and id -g to find out what your id values are if you are unsure), you will need to override them via the --user parameter in order to prevent permission errors with the output files (and the cmake build cache).

@JF002
Copy link
Collaborator Author

JF002 commented May 23, 2022

This statement is obsolete, isn't it? The image per default runs as root and we should run the docker run commands with the --user parameter

@NeroBurner Yes, right! I've just fixed that. Could you have a look?

…ve obsolete paragraph, remove redundant 'image' parameter in the command to build the docker image, use ${PWD} instead of $(pwd).
@JF002
Copy link
Collaborator Author

JF002 commented May 25, 2022

@NeroBurner I pushed the changes you suggested :)

Copy link
Contributor

@NeroBurner NeroBurner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@JF002 JF002 added this to the 1.10.0 milestone May 26, 2022
@JF002 JF002 merged commit dd313eb into develop May 26, 2022
@JF002 JF002 deleted the docker-actions-2 branch May 26, 2022 09:35
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.

3 participants