chore: Fix miri test

[aborgna-q]

Fixes #1931

Test run: https://github.com/CQCL/hugr/actions/runs/13549274743

drive-by: Fix automated issue comment, and check target branch before making the comments

Semver-checks failing due to #1940

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 83.69%. Comparing base (f667b4e) to head (c8420d2).
Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #1938   +/-   ##
=======================================
  Coverage   83.69%   83.69%           
=======================================
  Files         196      196           
  Lines       37691    37691           
  Branches    34504    34504           
=======================================
  Hits        31545    31545           
  Misses       4360     4360           
  Partials     1786     1786           

Flag	Coverage Δ
python	92.34% <ø> (ø)
rust	82.89% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

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