rust-release: exclude cargo-timing.html from release assets

[bolinfest]

Why

The release job in .github/workflows/rust-release.yml uploads files: dist/** via softprops/action-gh-release. The downloaded timing artifacts include multiple files with the same basename, cargo-timing.html (one per target), which causes release asset collisions/races and can fail with GitHub release-assets API 404 Not Found errors.

What Changed

• Updated the existing cleanup step before Create GitHub Release to remove all cargo-timing.html files from dist/.
• Removed any now-empty directories after deleting those timing files.

Relevant change:

• codex/.github/workflows/rust-release.yml

  Line 423 in daba003

  - name: Delete entries from dist/ that should not go in the release

Verification

• Confirmed from failing release logs that multiple cargo-timing.html files were being included in dist/** and that the release step failed while operating on duplicate-named assets.
• Verified the workflow now deletes those files before the release upload step, so cargo-timing.html is no longer part of the release asset set.