Skip to content

[actions] chore: explain profiling cache behavior#73

Merged
mdabir1203 merged 1 commit into
mainfrom
codex/add-profile-metrics-to-github-actions-display2025-11-05-vruqhl
Nov 5, 2025
Merged

[actions] chore: explain profiling cache behavior#73
mdabir1203 merged 1 commit into
mainfrom
codex/add-profile-metrics-to-github-actions-display2025-11-05-vruqhl

Conversation

@mdabir1203

Copy link
Copy Markdown
Owner

Summary

  • surface the rust cache hit/miss state in the hotpath profiling job summary and reuse a stable key
  • add documentation that explains what the profiling workflow builds and why cache misses appear

Testing

  • not run (workflow and docs change)

https://chatgpt.com/codex/tasks/task_e_690666a79a5c8326b3d4203b2d19dfb0

@mdabir1203
mdabir1203 merged commit fc418fc into main Nov 5, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant