From e144298b027254e10d51a6fbbdc92dd3c84a2dab Mon Sep 17 00:00:00 2001 From: Luiz Aoqui Date: Wed, 10 Aug 2022 20:36:03 -0400 Subject: [PATCH] ci: delete generated files after build (#14070) The generated files are created as part of the final build process but should not present in the repository afterwards. --- .github/workflows/release.yml | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 52c3b0b01..e24c03941 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -186,10 +186,18 @@ jobs: echo "Version ${{ github.event.inputs.version }} is a prerelease, skipping update of LAST_RELEASE" fi + - name: Remove generated files + run: | + # These generated files are only needed when building the final + # binary and should be not be present in the repository afterwards. + find . -name '*.generated.go' | xargs git rm + git status + - name: Commit post-release changes run: | - # Display stated and unstaged diffs. - git diff --color=always HEAD + # Display staged and unstaged diffs, skipping deleted files to avoid + # cluttering the output with the generated files. + git diff --diff-filter=d --color=always HEAD git add -A . if ! git diff-index --quiet HEAD --; then git commit --message 'Prepare for next release'