diff options
| author | Christian Marangi <ansuelsmth@gmail.com> | 2023-10-04 13:28:58 +0200 |
|---|---|---|
| committer | Christian Marangi <ansuelsmth@gmail.com> | 2023-10-04 13:30:52 +0200 |
| commit | 2a457dcd7292d9995f8672bc12d70e8a7267021a (patch) | |
| tree | 7b6b78161098d5087e4ca64a83af2776437c2b36 /.github/workflows | |
| parent | 07e4352d80d251069488018d90422791e01ee894 (diff) | |
| download | upstream-2a457dcd7292d9995f8672bc12d70e8a7267021a.tar.gz upstream-2a457dcd7292d9995f8672bc12d70e8a7267021a.tar.bz2 upstream-2a457dcd7292d9995f8672bc12d70e8a7267021a.zip | |
CI: push-containers: refresh containers also on modify cmake options
Refresh containers also on modify of cmake options in the include file.
Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
(cherry picked from commit b40c0b54bde81243974cada51cb9a44736c773b3)
Diffstat (limited to '.github/workflows')
| -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 0cfc22b8be..e74e7c2216 100644 --- a/.github/workflows/push-containers.yml +++ b/.github/workflows/push-containers.yml @@ -4,6 +4,7 @@ on: push: paths: - 'include/version.mk' + - 'include/cmake.mk' - 'tools/**' - '.github/workflows/build-tools.yml' - '.github/workflows/push-containers.yml' |