CQCL / hugr

Hierarchical Unified Graph Representation for quantum and classical programs
https://crates.io/crates/hugr
Apache License 2.0
24 stars 6 forks source link

chore: Fix unsoundness tests #1643

Closed aborgna-q closed 2 weeks ago

aborgna-q commented 2 weeks ago

A test was using the filesystem to check insta snapshots. This is not supported by miri.

drive-by: Fix lint warning drive-by: Don't send a slack notification when running the miri checks manually on an arbitrary commit.

CI run: https://github.com/CQCL/hugr/actions/runs/11726988593

codecov[bot] commented 2 weeks ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 85.79%. Comparing base (3a297d5) to head (9a40e90). Report is 1 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1643 +/- ## ========================================== - Coverage 85.79% 85.79% -0.01% ========================================== Files 136 136 Lines 25180 25180 Branches 22092 22092 ========================================== - Hits 21604 21603 -1 - Misses 2426 2427 +1 Partials 1150 1150 ``` | [Flag](https://app.codecov.io/gh/CQCL/hugr/pull/1643/flags?src=pr&el=flags&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=CQCL) | Coverage Δ | | |---|---|---| | [python](https://app.codecov.io/gh/CQCL/hugr/pull/1643/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=CQCL) | `92.42% <ø> (ø)` | | | [rust](https://app.codecov.io/gh/CQCL/hugr/pull/1643/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=CQCL) | `84.86% <100.00%> (-0.01%)` | :arrow_down: | Flags with carried forward coverage won't be shown. [Click here](https://docs.codecov.io/docs/carryforward-flags?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=CQCL#carryforward-flags-in-the-pull-request-comment) to find out more.

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.