Skip to content

Conversation

@conradoplg
Copy link
Contributor

@conradoplg conradoplg commented Dec 8, 2025

I also changed it so that it is only used for tests.

I wanted to update criterion but that would require a MSRV bump.

@codecov
Copy link

codecov bot commented Dec 8, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 77.39%. Comparing base (8f60e6d) to head (1c05261).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #962   +/-   ##
=======================================
  Coverage   77.39%   77.39%           
=======================================
  Files          41       41           
  Lines        4503     4503           
=======================================
  Hits         3485     3485           
  Misses       1018     1018           

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

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@conradoplg conradoplg force-pushed the update-deps branch 2 times, most recently from 3409b51 to e6eec3f Compare December 8, 2025 17:39
@conradoplg conradoplg changed the title update criterion and debugless-unwrap update debugless-unwrap Dec 8, 2025
natalieesk
natalieesk previously approved these changes Dec 9, 2025
Copy link
Contributor

@natalieesk natalieesk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good

@mergify mergify bot added the queued label Dec 9, 2025
@mergify
Copy link
Contributor

mergify bot commented Dec 9, 2025

Merge Queue Status

🚫 The pull request has left the queue (rule: main) at e6eec3f

This pull request spent 8 seconds in the queue, with no time running CI.

Reason

The pull request conflicts with at least one pull request ahead in queue

Hint

There is nothing you can do for now. If the pull request ahead in the queue is merged, this pull request will become conflicting and you'll have to update it.
If the pull request ahead is not merged, you can requeue this pull request with a @mergifyio requeue comment.

@mergify mergify bot added the queued label Dec 22, 2025
@mergify
Copy link
Contributor

mergify bot commented Dec 22, 2025

Merge Queue Status

✅ The pull request has been merged at 1c05261

This pull request spent 4 minutes 5 seconds in the queue, including 1 second running CI.
The checks were run on draft #981.

Required conditions to merge

mergify bot added a commit that referenced this pull request Dec 22, 2025
@mergify mergify bot merged commit 59b4dbd into main Dec 22, 2025
22 checks passed
@mergify mergify bot deleted the update-deps branch December 22, 2025 17:05
@mergify mergify bot removed the queued label Dec 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants