Skip to content

Commit

Permalink
exit early when no libraries need to be generated
Browse files Browse the repository at this point in the history
  • Loading branch information
diegomarquezp committed Jan 15, 2025
1 parent 6476131 commit 4880451
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .github/scripts/hermetic_library_generation.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit 4880451

Please sign in to comment.