Miri Was Leaking CI Secrets Through GitHub Actions Caches: What to Clean Up

Miri wrote every environment variable into target/, so caching that directory in GitHub Actions could hand your secrets to a pull request. Fixed in the 22 September 2026 nightly. Clear your caches and rotate anyway.