add a reproducer header

[IanButterworth]

Can be seen here: https://github.com/IanButterworth/SimpleLooper.jl/actions/runs/11406030258/job/31741980077?pr=5#step:6:43

cc. @Seelengrab

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 100.00%. Comparing base (53f7ca9) to head (57de9da).
Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff            @@
##              main      #124   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files            1         1           
  Lines            2         2           
=========================================
  Hits             2         2           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[IanButterworth]

CI here doesn't actually seem to run this action in its entirety... that should be fixed.

[giordano]

Unfortunately I don't think the git commit is very useful: for workflows triggered by pull requests, that'd be the merge commit, which isn't part of the base repo (for PRs opened from forks), that's only part of the target repo and you need to manually fetch the pr refs. For example you can see that the commit you show in the example above doesn't exist: IanButterworth/SimpleLooper.jl@87649fc