diff options
author | Christian Marangi <ansuelsmth@gmail.com> | 2022-12-17 02:02:26 +0100 |
---|---|---|
committer | Christian Marangi <ansuelsmth@gmail.com> | 2023-10-24 17:11:06 +0200 |
commit | 6c80c7533b7524bd333762523f089ff84cf64bdd (patch) | |
tree | 4ef4097e0824505f023ed5e0803ae0ac5aebdd84 | |
parent | b98b3d42969742b29d965558262e903e3642be14 (diff) | |
download | upstream-6c80c7533b7524bd333762523f089ff84cf64bdd.tar.gz upstream-6c80c7533b7524bd333762523f089ff84cf64bdd.tar.bz2 upstream-6c80c7533b7524bd333762523f089ff84cf64bdd.zip |
CI: build: add option to configure container to use
Add option to configure container to use for build test.
By default the tools container is used if no option is provided.
Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
(cherry picked from commit 803b0110485a12c1119a51044d17979795ede966)
-rw-r--r-- | .github/workflows/build.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 5ca6f4e32e..da389e9cf8 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -5,6 +5,9 @@ on: secrets: coverity_api_token: inputs: + container_name: + type: string + default: tools target: required: true type: string @@ -112,7 +115,7 @@ jobs: needs: setup_build runs-on: ubuntu-latest - container: ghcr.io/${{ needs.setup_build.outputs.owner_lc }}/tools:${{ needs.setup_build.outputs.container_tag }} + container: ghcr.io/${{ needs.setup_build.outputs.owner_lc }}/${{ inputs.container_name }}:${{ needs.setup_build.outputs.container_tag }} permissions: contents: read |