Skip to content

Conversation

@jpraynaud
Copy link
Member

Content

This PR includes...

Pre-submit checklist

  • Branch
    • Tests are provided (if possible)
    • Crates versions are updated (if relevant)
    • CHANGELOG file is updated (if relevant)
    • Commit sequence broadly makes sense
    • Key commits have useful messages
  • PR
    • All check jobs of the CI have succeeded
    • Self-reviewed the diff
    • Useful pull request description
    • Reviewer requested
  • Documentation
    • Update documentation website (if relevant)
    • No new TODOs introduced

Issue(s)

Relates to #2833

@jpraynaud jpraynaud self-assigned this Dec 19, 2025
@github-actions
Copy link

Test Results

    4 files  ±0    169 suites  ±0   23m 38s ⏱️ +40s
2 278 tests ±0  2 278 ✅ ±0  0 💤 ±0  0 ❌ ±0 
7 146 runs  ±0  7 146 ✅ ±0  0 💤 ±0  0 ❌ ±0 

Results for commit 3a77d06. ± Comparison against base commit 3199222.

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