diff options
| author | Christian Marangi <ansuelsmth@gmail.com> | 2022-12-17 00:21:31 +0100 |
|---|---|---|
| committer | Christian Marangi <ansuelsmth@gmail.com> | 2023-10-24 17:11:06 +0200 |
| commit | e2780cbb2feac4a5e5e7f010202a5e6eb92d8db3 (patch) | |
| tree | 84bd04774e1850721213f58dff7cf278a9bd8ecd /.github/workflows/Dockerfile.toolchain | |
| parent | 6099d083a656816847207c9cfcb4a1cf86e7aa00 (diff) | |
| download | upstream-e2780cbb2feac4a5e5e7f010202a5e6eb92d8db3.tar.gz upstream-e2780cbb2feac4a5e5e7f010202a5e6eb92d8db3.tar.bz2 upstream-e2780cbb2feac4a5e5e7f010202a5e6eb92d8db3.zip | |
CI: push-containers: build and push container with external toolchain
Build and push container with external toolchain embedded in the
container image.
Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
(cherry picked from commit e1370cdd497a07612413106d707973155ad3004b)
Diffstat (limited to '.github/workflows/Dockerfile.toolchain')
| -rw-r--r-- | .github/workflows/Dockerfile.toolchain | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.github/workflows/Dockerfile.toolchain b/.github/workflows/Dockerfile.toolchain new file mode 100644 index 0000000000..949bc2bb5c --- /dev/null +++ b/.github/workflows/Dockerfile.toolchain @@ -0,0 +1,8 @@ +ARG OWNER_LC +ARG CONTAINER_TAG + +FROM ghcr.io/$OWNER_LC/tools:$CONTAINER_TAG + +ARG TOOLCHAIN_NAME + +ADD $TOOLCHAIN_NAME /external-toolchain/ |