CI: push-containers: build and push container with external toolchain
authorChristian Marangi <ansuelsmth@gmail.com>
Fri, 16 Dec 2022 23:21:31 +0000 (00:21 +0100)
committerChristian Marangi <ansuelsmth@gmail.com>
Tue, 24 Oct 2023 15:11:06 +0000 (17:11 +0200)
commite2780cbb2feac4a5e5e7f010202a5e6eb92d8db3
tree84bd04774e1850721213f58dff7cf278a9bd8ecd
parent6099d083a656816847207c9cfcb4a1cf86e7aa00
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)
.github/workflows/Dockerfile.toolchain [new file with mode: 0644]
.github/workflows/push-containers.yml