Conversation
|
Can you describe what the github action in this PR does? |
Yes, the action builds the Dockerfile, then pushes it to the github container registry (ghcr). If we want, we can add one step to also push to Docker registry (docker hub). Note that the step called "Push" takes care of both building and pushing, but it doesn't actually push if it is in a PR. Additionally, the action has all sorts of guards to make it only push when these files are edited, and it will push containers with a distinct signature (so that they don't conflict with other containers). The metadata step gathers automated information about the container so that they can be automatically added to the image (like version, sha, etc.). I will add a description to the PR post (and the commit message) before merging. |
adds github-action ci container.
The ghci container is mainly for testing on github actions:
The github actions workflow added in this PR (.github/workflows/ghci.yaml):