Skip to content

Conversation

@ShubhamChaturvedi7
Copy link
Contributor

Issue #, if available:

Description of changes:

  1. Changelog was manually edited.
  2. The diff part is broken in the GHA - but changes look fine here
  3. git-cliff should be dropped as it adds unnecessary info.

Squash/merge commit message, if applicable:

<type>(dafny/java/python/dotnet/go/rust): <description>

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

Copy link
Member

@rishav-karanjit rishav-karanjit left a comment

Choose a reason for hiding this comment

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

LGTM

@ShubhamChaturvedi7 ShubhamChaturvedi7 merged commit 0de18ef into main Oct 24, 2025
392 of 394 checks passed
@ShubhamChaturvedi7 ShubhamChaturvedi7 deleted the golang-release-staging-branch/smithy-dafny-standard-library/0.3.0 branch October 24, 2025 16:37
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.

3 participants