From 4880451f153ff4dbb12246aa68e6a71f637ffd03 Mon Sep 17 00:00:00 2001 From: diegomarquezp Date: Wed, 15 Jan 2025 17:32:31 +0000 Subject: [PATCH] exit early when no libraries need to be generated --- .github/scripts/hermetic_library_generation.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/scripts/hermetic_library_generation.sh b/.github/scripts/hermetic_library_generation.sh index 768f0dfc50..dc41ec9129 100755 --- a/.github/scripts/hermetic_library_generation.sh +++ b/.github/scripts/hermetic_library_generation.sh @@ -100,6 +100,7 @@ changed_libraries=$(echo "${changed_libraries}" | sed 's/showcase,//' | sed 's/, echo "${changed_libraries}" if [[ -z "${changed_libraries}" ]]; then echo 'No libraries to generate. Aborting generation' + exit 0 fi # run hermetic code generation docker image.