diff options
| author | Christian Marangi <ansuelsmth@gmail.com> | 2022-12-20 20:02:35 +0100 |
|---|---|---|
| committer | Christian Marangi <ansuelsmth@gmail.com> | 2023-10-24 17:10:47 +0200 |
| commit | b98b3d42969742b29d965558262e903e3642be14 (patch) | |
| tree | 71561740c0db0164d278133bd61d9df29fe929e9 /tools | |
| parent | 6420851c0c4241d075600662612b3ca4d8906bcd (diff) | |
| download | upstream-b98b3d42969742b29d965558262e903e3642be14.tar.gz upstream-b98b3d42969742b29d965558262e903e3642be14.tar.bz2 upstream-b98b3d42969742b29d965558262e903e3642be14.zip | |
CI: build: package external toolchain after build
Package external toolchain after correct build.
Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
(cherry picked from commit ce2e7c52f8ebc7ea92a1436ee2dbeecf149132dc)
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions