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, 23 May 2023 21:33:13 +0000 (23:33 +0200)
commite1370cdd497a07612413106d707973155ad3004b
treecfadd9aa8bc4feefbdc7938c54aa3fb3144b0137
parent23a5c715a9296e828be5c32eadf68eacdb326a0a
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>
.github/workflows/Dockerfile.toolchain [new file with mode: 0644]
.github/workflows/push-containers.yml