Skip to content

Conversation

@mrtazz
Copy link
Collaborator

@mrtazz mrtazz commented May 8, 2025

Checklist

Not all of these might apply to your change but the more you are able to check
the easier it will be to get your contribution merged.

  • CI passes
  • Description of proposed change
  • Documentation (README, docs/, man pages) is updated
  • Existing issue is referenced if there is one
  • Unit tests for the proposed change

@mrtazz mrtazz merged commit 69ffff7 into main May 8, 2025
1 check passed
@mrtazz mrtazz deleted the run-tests-on-prs branch May 8, 2025 12:44
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