From 6f4d795acacb71e7ce5119311cdba2dc98b60bf8 Mon Sep 17 00:00:00 2001 From: aboyko Date: Thu, 6 Jul 2023 16:25:31 -0400 Subject: [PATCH] default value for eclipse distro eclipse profile --- .github/workflows/eclipse-distro-build.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/eclipse-distro-build.yml b/.github/workflows/eclipse-distro-build.yml index f456ac375..2d219a7c0 100644 --- a/.github/workflows/eclipse-distro-build.yml +++ b/.github/workflows/eclipse-distro-build.yml @@ -6,6 +6,7 @@ on: eclipse_profile: description: Eclipse profile 'e428' etc required: true + default: 'e428' build_type: description: Build type such as 'snapshot', 'milestone' or 'release' required: true