Skip to content

Release 3.0.1#1118

Merged
sean-breen merged 2 commits intomainfrom
release-3.0.1
Jun 10, 2025
Merged

Release 3.0.1#1118
sean-breen merged 2 commits intomainfrom
release-3.0.1

Conversation

@sean-breen
Copy link
Contributor

Proposed changes

Release v3.0.1

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING document
  • I have run make install-tools and have attached any dependency changes to this pull request
  • If applicable, I have added tests that prove my fix is effective or that my feature works
  • If applicable, I have checked that any relevant tests pass after adding my changes
  • If applicable, I have updated any relevant documentation (README.md)
  • If applicable, I have tested my cross-platform changes on Ubuntu 22, Redhat 8, SUSE 15 and FreeBSD 13

@sean-breen sean-breen requested a review from a team as a code owner June 10, 2025 12:17
@github-actions github-actions bot added the chore Pull requests for routine tasks label Jun 10, 2025
@sean-breen sean-breen merged commit 850e0da into main Jun 10, 2025
45 of 49 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Pull requests for routine tasks

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants