chore: use install smithy dafny deps from MPL #2266
Merged
rishav-karanjit merged 8 commits intoMay 12, 2026
Merged
Conversation
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
sharmabikram
previously approved these changes
May 8, 2026
josecorella
previously approved these changes
May 8, 2026
Contributor
josecorella
left a comment
josecorella
left a comment
There was a problem hiding this comment.
this looks good, but we probably should have just updated the install_smithy_dafny action to use the mpl instead; because we had to touch every single workflow
rishav-karanjit
dismissed stale reviews from josecorella and sharmabikram
via
fb9f4e2
sharmabikram
approved these changes
May 11, 2026
josecorella
approved these changes
May 11, 2026
|
Detected changes to the release files or to the check-files action |
rishav-karanjit
deleted the
reuse-install_smithy_dafny_codegen_dependencies-actions
branch
Merged
ShubhamChaturvedi7
added a commit
that referenced
this pull request
Jun 1, 2026
* chore(release): 4.0.0 * **java:** add DDBEC with SDK v2 and remove DDBEC with SDK V1 (#2048) * **.net:** Bump MPL V2 (#2145) * **java:** add DDBEC with SDK v2 and remove DDBEC with SDK V1 ([#2048](#2048)) ([035dbe3](035dbe3)) * **.net:** Bump MPL V2 ([#2145](#2145)) ([87c534b](87c534b)) * use UUIDs and cleanup in beacon styles example to avoid stale item collisions ([#2125](#2125)) ([773c1ff](773c1ff)) * **.net:** add ddb local to .net release ([#2075](#2075)) ([db55bdf](db55bdf)) * **.net:** comment out testvectors from release ([#2076](#2076)) ([fdaa9e3](fdaa9e3)) * **.net:** fix release commands to include all json tv files ([#2072](#2072)) ([10f809d](10f809d)) * **.net:** pin mpl to latest ([#2065](#2065)) ([f6b64a6](f6b64a6)) * **.net:** reference submoduled mpl ([#2080](#2080)) ([be3f58f](be3f58f)) * add retries to examples ([#2262](#2262)) ([ab622af](ab622af)) * add special-characters-workaround to avoid sigv4 failure ([#2270](#2270)) ([7223d98](7223d98)) * bump GitHub Actions to latest versions ([#2144](#2144)) ([92615d4](92615d4)) * **ci:** add concurrency control ([#2265](#2265)) ([85d6be8](85d6be8)) * **ci:** add more error code in infra related failure ([#2254](#2254)) ([7d3b0b5](7d3b0b5)) * **ci:** Add retries to DDB local setup steps ([#2267](#2267)) ([7987566](7987566)) * **ci:** add workflow_dispatch and remove run on PR for daily CI ([#2218](#2218)) ([d6fd0fb](d6fd0fb)) * **ci:** daily ci for branches ([#2208](#2208)) ([fcc4b97](fcc4b97)) * **ci:** fix Test Examples workflow for v3.x-java daily ci ([#2233](#2233)) ([0140037](0140037)) * **ci:** remove branch default to main ([#2219](#2219)) ([1a3d1f0](1a3d1f0)) * **ci:** retry failed CI only for infrastructure errors ([#2235](#2235)) ([909b34a](909b34a)) * **CI:** run clippy ([#2181](#2181)) ([6b54985](6b54985)) * **ci:** run test on Java 21 and windows OS ([#2159](#2159)) ([6e702d8](6e702d8)) * **ci:** Update daily_ci to get triggered at 7AM ([#2283](#2283)) ([3ed89b5](3ed89b5)) * **ci:** use snapshot builds ([#2083](#2083)) ([0124ca6](0124ca6)) * **deps:** bump actions/checkout v5->v6 and setup-docker-macos-action v1.0.2->v1.1.0 ([#2130](#2130)) ([337c776](337c776)) * **deps:** update aws-lc-sys requirement from 0.38 to 0.39 in /DynamoDbEncryption/runtimes/rust ([#2149](#2149)) ([b76bcb7](b76bcb7)) * refactor non-prod CI to only run Go targets ([#2134](#2134)) ([0d2622c](0d2622c)) * release aws-db-esdk v1.2.3 ([#2122](#2122)) ([888aaba](888aaba)) * **release:** 4.0.0 ([#2247](#2247)) ([ddf56bf](ddf56bf)), closes [#2048](#2048) * **release:** allow local testing ([#2251](#2251)) ([546b68c](546b68c)) * run java test on ubuntu ([#2167](#2167)) ([cffa72c](cffa72c)) * separate changelog for Java and .NET ([#2242](#2242)) ([67ed551](67ed551)) * use install smithy dafny deps from MPL ([#2266](#2266)) ([4f3b542](4f3b542)) * chore: edit net changelog * chore: pin mpl version as project ref --------- Co-authored-by: semantic-release-bot <semantic-release-bot@martynus.net> Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Issue #, if available:
Description of changes:
We will reuse the action from MPL to avoid duplication across repositories to help us maintain the CI as we will have single source-of-truth.
Updated maintainers list in check-files.yml to add Bikram's username
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.