From 0b6deae77b1f1e5f7ac4a1a79beadc271ba86b17 Mon Sep 17 00:00:00 2001 From: Sridhar Gaddam Date: Tue, 28 Mar 2023 15:06:55 +0530 Subject: [PATCH] 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 --- .github/workflows/release.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 3296c5c09..fde971645 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -2,6 +2,7 @@ name: Release Images on: + workflow_dispatch: push: branches: - devel