diff options
| author | Petr Štetiar <ynezz@true.cz> | 2023-05-23 16:56:09 +0200 |
|---|---|---|
| committer | Petr Štetiar <ynezz@true.cz> | 2023-05-23 17:49:57 +0200 |
| commit | 8fc2a0f00f7f62ded3c849e78742c3d87d52ec91 (patch) | |
| tree | c77563224cb8f721298447855291ddc2637b97f0 /.github/workflows/push-containers.yml | |
| parent | 71ca2a31546d5f14faac03838bf700cf22f85215 (diff) | |
ci: push-containers: trigger job on release branching
Currently all 23.05 related CI jobs are failing as the containers are
not available, so lets fix it by pushing those containers when the
version.mk changes.
Signed-off-by: Petr Štetiar <ynezz@true.cz>
Diffstat (limited to '.github/workflows/push-containers.yml')
| -rw-r--r-- | .github/workflows/push-containers.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/push-containers.yml b/.github/workflows/push-containers.yml index bad39c2fc2..28b07244ef 100644 --- a/.github/workflows/push-containers.yml +++ b/.github/workflows/push-containers.yml @@ -3,6 +3,7 @@ name: Build and Push prebuilt tools container on: push: paths: + - 'include/version.mk' - 'tools/**' - '.github/workflows/build-tools.yml' - '.github/workflows/push-containers.yml' |