Support for manual trigger of release image job

We have seen instances where the release job does not get triggered after a PR gets merged and because of this, the devel image still points to some old commit which produces inconsistent results. This PR includes support to manually trigger the release job in such scenarios. Signed-off-by: Sridhar Gaddam <[email protected]>
submariner-io · Apr 3, 2023 · 0b6deae · 0b6deae
1 parent 97c82c2
commit 0b6deae
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -2,6 +2,7 @@
 name: Release Images
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - devel