chore: don't include src/ generated files in build

built from commit a77cf8264f58392241e41058acd4574deda5dfd7
 dated 2026-04-02 23:49:40 +0200
 by Stéphane Lesimple (speed47_github@speed47.net)

.github/workflows/build.yml

@@ -23,7 +23,6 @@ jobs:
       run: |
         make build fmt-check shellcheck
         mv spectre-meltdown-checker.sh dist/
-        rm -rf src/
     - name: check direct execution
       run: |
         expected=$(cat .github/workflows/expected_cve_count)
@@ -99,6 +98,7 @@ jobs:
         git fetch origin ${{ github.ref_name }}-build
         git checkout -f ${{ github.ref_name }}-build
         mv $tmpdir/* .
+        rm -rf src/
         mkdir -p .github
         rsync -vaP --delete $tmpdir/.github/ .github/
         git add --all