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:28:58 +0200 |
| commit | b40c0b54bde81243974cada51cb9a44736c773b3 (patch) | |
| tree | e18b3dea207e0310b0a2032577695f887972a3cd /.github/workflows/tools.yml | |
| parent | 4c2eab1c27defd154adcd0c4454248112815ffcc (diff) | |
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>
Diffstat (limited to '.github/workflows/tools.yml')
0 files changed, 0 insertions, 0 deletions