ci: also run container manifest step for by workflow_dispatch

The container CI jobs might be run manually (using the
`workflow_dispatch` trigger). In this case the `manifest` step is
skipped. This makes manually runnings the container job useless.

Also run the container manifest step for `workflow_dispatch`.

diff --git a/.github/workflows/container-extra.yml b/.github/workflows/container-extra.yml
index ac80c4761691b4c4c5ffaaa8d324bb5a8d855bfc..53d5c5c1f248ebb41208ebd11b18dc7951c5f7b2 100644 (file)
--- a/.github/workflows/container-extra.yml
+++ b/.github/workflows/container-extra.yml
@@ -77,7 +77,7 @@ jobs:
                       OPTION=${{ matrix.config.option }}
     manifest:
         needs: container-extra
-        if: github.event_name == 'push' || github.event_name == 'schedule'
+        if: github.event_name == 'push' || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch'
         name: ${{ matrix.config.tag }}
         concurrency:
             group: manifest-${{ github.workflow }}-${{ github.ref }}-${{ matrix.config.tag }}

diff --git a/.github/workflows/container.yml b/.github/workflows/container.yml
index 8ad9598d18d02f2d2f055e05ac63d3d464ff3fc3..e2a018c1eed14793da9ea15893f24262b1910abf 100644 (file)
--- a/.github/workflows/container.yml
+++ b/.github/workflows/container.yml
@@ -75,7 +75,7 @@ jobs:
                       OPTION=${{ matrix.config.option }}
     manifest:
         needs: container
-        if: github.event_name == 'push' || github.event_name == 'schedule'
+        if: github.event_name == 'push' || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch'
         name: ${{ matrix.config.tag }}
         concurrency:
             group: manifest-${{ github.workflow }}-${{ github.ref }}-${{ matrix.config.tag }}