Skip to content

Update HyP3 SDK version to v7.7.4 - #654

Merged
jhkennedy merged 2 commits into
developfrom
bump-sdk-v7.7.4
Oct 20, 2025
Merged

jhkennedy merged 2 commits into
developfrom
bump-sdk-v7.7.4

Conversation

@tools-bot

Copy link
Copy Markdown
Contributor

PR created by a workflow_dispatch event

@tools-bot tools-bot added the tools-bot PRs and Issues opened by the Tools Bot label Oct 20, 2025
@tools-bot
tools-bot requested review from a team as code owners October 20, 2025 21:13
@tools-bot tools-bot added the tools-bot PRs and Issues opened by the Tools Bot label Oct 20, 2025
@github-actions

Copy link
Copy Markdown
Contributor

Developer checklist

  • Indicated the level of changes to this package by affixing one of these labels:
    • major -- Major changes to the API that may break current workflows
    • minor -- Minor changes to the API that do not break current workflows
    • patch -- Patches and bugfixes for the current version that do not break current workflows
    • bumpless -- Changes to documentation, CI/CD pipelines, etc. that don't affect the software's version
  • (If applicable) Updated the dependencies and indicated any downstream changes that are required
  • Added/updated documentation for these changes
  • Added/updated tests for these changes
  • Verified changes in test deployment and summarized results, e.g. in PR description or comments on the related issue(s)

Reviewer checklist

  • Have all dependencies been updated?
  • Is the level of changes labeled appropriately?
  • Are all the changes described appropriately in CHANGELOG.md?
  • Has the documentation been adequately updated?
  • Are the tests adequate?
  • Have the changes been verified in the test deployment?

@jhkennedy
jhkennedy changed the base branch from main to develop October 20, 2025 21:13
@jhkennedy
jhkennedy merged commit d1590b3 into develop Oct 20, 2025
7 of 8 checks passed
@jhkennedy
jhkennedy deleted the bump-sdk-v7.7.4 branch October 20, 2025 22:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

tools-bot PRs and Issues opened by the Tools Bot

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants