CI: push-containers: refresh containers also on modify cmake options
authorChristian Marangi <ansuelsmth@gmail.com>
Wed, 4 Oct 2023 11:28:58 +0000 (13:28 +0200)
committerChristian Marangi <ansuelsmth@gmail.com>
Wed, 4 Oct 2023 11:28:58 +0000 (13:28 +0200)
commitb40c0b54bde81243974cada51cb9a44736c773b3
treee18b3dea207e0310b0a2032577695f887972a3cd
parent4c2eab1c27defd154adcd0c4454248112815ffcc
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>
.github/workflows/push-containers.yml